GNU Prolog for Java

gnu.prolog.vm
Class TermConstants

java.lang.Object
  extended by gnu.prolog.vm.TermConstants

public final class TermConstants
extends Object


Field Summary
static AtomTerm accessAtom
           
static AtomTerm atomAtom
           
static AtomTerm atomicAtom
           
static AtomTerm binaryStreamAtom
           
static AtomTerm byteAtom
           
static AtomTerm callableAtom
           
static CompoundTermTag callTag
           
static AtomTerm characterAtom
           
static AtomTerm characterCodeAtom
           
static AtomTerm characterCodeListAtom
           
static AtomTerm charsAtom
           
static CompoundTermTag clauseTag
           
static AtomTerm closeOptionAtom
           
static AtomTerm codesAtom
           
static AtomTerm compoundAtom
           
static CompoundTermTag conjunctionTag
          tag for conjunction
static AtomTerm createAtom
           
static AtomTerm cutAtom
           
static CompoundTermTag directiveTag
           
static CompoundTermTag disjunctionTag
          tag for disjunction
static AtomTerm emptyCurlyAtom
           
static AtomTerm emptyListAtom
           
static AtomTerm evaluableAtom
           
static AtomTerm failAtom
           
static AtomTerm falseAtom
           
static AtomTerm flagAtom
           
static AtomTerm flagValueAtom
           
static AtomTerm floatAtom
           
static AtomTerm floatOverflowAtom
           
static AtomTerm fxAtom
           
static AtomTerm fyAtom
           
static CompoundTermTag ifTag
          tag for if
static CompoundTermTag ignoreOpsTag
           
static AtomTerm inByteAtom
           
static AtomTerm inCharacterAtom
           
static AtomTerm inCharacterCodeAtom
           
static AtomTerm inputAtom
           
static AtomTerm integerAtom
           
static AtomTerm intOverflowAtom
           
static AtomTerm ioModeAtom
           
static AtomTerm javaObjectAtom
           
static AtomTerm listAtom
           
static CompoundTermTag listTag
           
static AtomTerm maxArityAtom
           
static AtomTerm maxIntegerAtom
           
static AtomTerm minIntegerAtom
           
static AtomTerm modifyAtom
           
static AtomTerm nonEmptyListAtom
           
static AtomTerm notLessThanZeroAtom
           
static AtomTerm numberAtom
           
static AtomTerm numberExpectedAtom
           
static CompoundTermTag numbervarsTag
           
static AtomTerm openAtom
           
static AtomTerm operatorAtom
           
static AtomTerm operatorPriorityAtom
           
static AtomTerm operatorSpecifierAtom
           
static AtomTerm outputAtom
           
static AtomTerm pastEndOfStreamAtom
           
static AtomTerm predicateIndicatorAtom
           
static AtomTerm privateProcedureAtom
           
static AtomTerm procedureAtom
           
static AtomTerm prologFlagAtom
           
static CompoundTermTag quotedTag
           
static AtomTerm readOptionAtom
           
static AtomTerm repositionAtom
           
static CompoundTermTag singletonsTag
           
static AtomTerm sourceSinkAtom
           
static AtomTerm staticProcedureAtom
           
static AtomTerm streamAtom
           
static AtomTerm streamOptionAtom
           
static AtomTerm streamOrAliasAtom
           
static AtomTerm streamPositionAtom
           
static AtomTerm streamPropertyAtom
           
static AtomTerm textStreamAtom
           
static AtomTerm trueAtom
           
static AtomTerm undefinedAtom
           
static AtomTerm underflowAtom
           
static CompoundTermTag unifyTag
           
static AtomTerm variableAtom
           
static CompoundTermTag variableNamesTag
           
static CompoundTermTag variablesTag
           
static AtomTerm writeOptionAtom
           
static AtomTerm xfAtom
           
static AtomTerm xfxAtom
           
static AtomTerm xfyAtom
           
static AtomTerm yfAtom
           
static AtomTerm yfxAtom
           
static AtomTerm zeroDivizorAtom
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

atomAtom

public static final AtomTerm atomAtom

atomicAtom

public static final AtomTerm atomicAtom

byteAtom

public static final AtomTerm byteAtom

callableAtom

public static final AtomTerm callableAtom

characterAtom

public static final AtomTerm characterAtom

compoundAtom

public static final AtomTerm compoundAtom

evaluableAtom

public static final AtomTerm evaluableAtom

inByteAtom

public static final AtomTerm inByteAtom

inCharacterAtom

public static final AtomTerm inCharacterAtom

integerAtom

public static final AtomTerm integerAtom

floatAtom

public static final AtomTerm floatAtom

listAtom

public static final AtomTerm listAtom

numberAtom

public static final AtomTerm numberAtom

predicateIndicatorAtom

public static final AtomTerm predicateIndicatorAtom

variableAtom

public static final AtomTerm variableAtom

characterCodeListAtom

public static final AtomTerm characterCodeListAtom

closeOptionAtom

public static final AtomTerm closeOptionAtom

flagValueAtom

public static final AtomTerm flagValueAtom

ioModeAtom

public static final AtomTerm ioModeAtom

nonEmptyListAtom

public static final AtomTerm nonEmptyListAtom

notLessThanZeroAtom

public static final AtomTerm notLessThanZeroAtom

operatorPriorityAtom

public static final AtomTerm operatorPriorityAtom

operatorSpecifierAtom

public static final AtomTerm operatorSpecifierAtom

prologFlagAtom

public static final AtomTerm prologFlagAtom

readOptionAtom

public static final AtomTerm readOptionAtom

sourceSinkAtom

public static final AtomTerm sourceSinkAtom

streamAtom

public static final AtomTerm streamAtom

streamOptionAtom

public static final AtomTerm streamOptionAtom

streamOrAliasAtom

public static final AtomTerm streamOrAliasAtom

streamPositionAtom

public static final AtomTerm streamPositionAtom

streamPropertyAtom

public static final AtomTerm streamPropertyAtom

writeOptionAtom

public static final AtomTerm writeOptionAtom

procedureAtom

public static final AtomTerm procedureAtom

accessAtom

public static final AtomTerm accessAtom

createAtom

public static final AtomTerm createAtom

inputAtom

public static final AtomTerm inputAtom

modifyAtom

public static final AtomTerm modifyAtom

openAtom

public static final AtomTerm openAtom

outputAtom

public static final AtomTerm outputAtom

repositionAtom

public static final AtomTerm repositionAtom

binaryStreamAtom

public static final AtomTerm binaryStreamAtom

flagAtom

public static final AtomTerm flagAtom

operatorAtom

public static final AtomTerm operatorAtom

pastEndOfStreamAtom

public static final AtomTerm pastEndOfStreamAtom

privateProcedureAtom

public static final AtomTerm privateProcedureAtom

staticProcedureAtom

public static final AtomTerm staticProcedureAtom

textStreamAtom

public static final AtomTerm textStreamAtom

characterCodeAtom

public static final AtomTerm characterCodeAtom

inCharacterCodeAtom

public static final AtomTerm inCharacterCodeAtom

maxArityAtom

public static final AtomTerm maxArityAtom

maxIntegerAtom

public static final AtomTerm maxIntegerAtom

minIntegerAtom

public static final AtomTerm minIntegerAtom

numberExpectedAtom

public static final AtomTerm numberExpectedAtom

floatOverflowAtom

public static final AtomTerm floatOverflowAtom

intOverflowAtom

public static final AtomTerm intOverflowAtom

undefinedAtom

public static final AtomTerm undefinedAtom

underflowAtom

public static final AtomTerm underflowAtom

zeroDivizorAtom

public static final AtomTerm zeroDivizorAtom

trueAtom

public static final AtomTerm trueAtom

falseAtom

public static final AtomTerm falseAtom

failAtom

public static final AtomTerm failAtom

cutAtom

public static final AtomTerm cutAtom

emptyCurlyAtom

public static final AtomTerm emptyCurlyAtom

emptyListAtom

public static final AtomTerm emptyListAtom

listTag

public static final CompoundTermTag listTag

ifTag

public static final CompoundTermTag ifTag
tag for if


disjunctionTag

public static final CompoundTermTag disjunctionTag
tag for disjunction


conjunctionTag

public static final CompoundTermTag conjunctionTag
tag for conjunction


clauseTag

public static final CompoundTermTag clauseTag

directiveTag

public static final CompoundTermTag directiveTag

unifyTag

public static final CompoundTermTag unifyTag

callTag

public static final CompoundTermTag callTag

xfxAtom

public static final AtomTerm xfxAtom

xfyAtom

public static final AtomTerm xfyAtom

yfxAtom

public static final AtomTerm yfxAtom

fxAtom

public static final AtomTerm fxAtom

fyAtom

public static final AtomTerm fyAtom

xfAtom

public static final AtomTerm xfAtom

yfAtom

public static final AtomTerm yfAtom

quotedTag

public static final CompoundTermTag quotedTag

ignoreOpsTag

public static final CompoundTermTag ignoreOpsTag

numbervarsTag

public static final CompoundTermTag numbervarsTag

variablesTag

public static final CompoundTermTag variablesTag

variableNamesTag

public static final CompoundTermTag variableNamesTag

singletonsTag

public static final CompoundTermTag singletonsTag

javaObjectAtom

public static final AtomTerm javaObjectAtom

charsAtom

public static final AtomTerm charsAtom

codesAtom

public static final AtomTerm codesAtom

GNU Prolog for Java