com.declarativa.interprolog

Class PrologOperatorsContext

java.lang.Object

com.declarativa.interprolog.PrologOperatorsContext

public class PrologOperatorsContext
extends Object

Represents a set of Prolog operator declarations, to provide TermModel with knowledge for toString(). Includes Prolog implementation-dependent knowledge, which could miggrate to PrologImplementationPeer subclasses

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PrologOperatorsContext.PrologOperator

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait