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

Packages that use jUnaryArithmeticGoal

ubc.cs.JLog.Builtins

Uses of jUnaryArithmeticGoal in ubc.cs.JLog.Builtins

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

boolean	jIsReal.prove(jUnaryArithmeticGoal ag)
boolean	jIsInteger.prove(jUnaryArithmeticGoal ag)
boolean	jUnaryArithmetic.prove(jUnaryArithmeticGoal ag) Some arithmetics may need to do double duty as istype predicates, so they can override this.