Uses of Interface
sjm.engine.ComparisonTerm

Packages that use ComparisonTerm

sjm.engine

Uses of ComparisonTerm in sjm.engine

Subinterfaces of ComparisonTerm in sjm.engine

interface

ArithmeticTerm This marker interface indicates a type of term that can participate in an arithmetic expression, namely numbers, variables, and other arithmetic expressions.

Classes in sjm.engine that implement ComparisonTerm

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	Atom An Atom is a Structure that no terms.
class	BooleanFact A BooleanFact is a fact with either Boolean.TRUE or Boolean.FALSE as its functor.
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.

Constructors in sjm.engine with parameters of type ComparisonTerm

Comparison.Comparison(java.lang.String operator, ComparisonTerm term0, ComparisonTerm term1)
Create a comparison with the specified operator and comparison terms.