Uses of Interface
sjm.engine.ArithmeticTerm

Packages that use ArithmeticTerm

sjm.engine

Uses of ArithmeticTerm in sjm.engine

Classes in sjm.engine that implement ArithmeticTerm

class	Anonymous An anonymous variable unifies successfully with any other term, without binding to the term.
class	ArithmeticOperator An ArithmeticOperator represents an arithmetic operation that will perform itself as part of a proof.
class	NumberFact A NumberFact is a fact with a Number as its functor.
class	Variable A variable is a named term that can unify with other terms.

Fields in sjm.engine declared as ArithmeticTerm

protected ArithmeticTerm	ArithmeticOperator.term0
protected ArithmeticTerm	ArithmeticOperator.term1

Methods in sjm.engine with parameters of type ArithmeticTerm

protected double

ArithmeticOperator.eval(ArithmeticTerm t)

Constructors in sjm.engine with parameters of type ArithmeticTerm

ArithmeticOperator.ArithmeticOperator(char operator, ArithmeticTerm term0, ArithmeticTerm term1)
Constructs an arithmetic operator with the indicated operator and terms.