Uses of Class
ubc.cs.JLog.Builtins.Goals.jUnaryOperatorGoal

Packages that use jUnaryOperatorGoal

ubc.cs.JLog.Builtins

Uses of jUnaryOperatorGoal in ubc.cs.JLog.Builtins

Methods in ubc.cs.JLog.Builtins with parameters of type jUnaryOperatorGoal

boolean	jIsVariable.prove(jUnaryOperatorGoal og)
boolean	jIsAtom.prove(jUnaryOperatorGoal og)
boolean	jLoadLibrary.prove(jUnaryOperatorGoal og)
boolean	jIsNumber.prove(jUnaryOperatorGoal og)
boolean	jIsGround.prove(jUnaryOperatorGoal og)
boolean	jIsCompound.prove(jUnaryOperatorGoal og)
boolean	jIsSimple.prove(jUnaryOperatorGoal og)
boolean	jIsList.prove(jUnaryOperatorGoal og)
boolean	jIsNonVariable.prove(jUnaryOperatorGoal og)
boolean	jDynamic.prove(jUnaryOperatorGoal og)
abstract boolean	jUnaryOperator.prove(jUnaryOperatorGoal og)
boolean	jIsAtomic.prove(jUnaryOperatorGoal og)
boolean	jIsCallable.prove(jUnaryOperatorGoal og)