Uses of Class
sjm.engine.Gateway

Packages that use Gateway

sjm.engine
sjm.examples.sling

Uses of Gateway in sjm.engine

Subclasses of Gateway in sjm.engine

class	Comparison A Comparison object applies a comparison operator to its terms in order to prove itself.
class	ConsultingNot A ConsultingNot is a Not that has an axiom source to consult.
class	Evaluation An Evaluation unifies a term with the value of another term.

Uses of Gateway in sjm.examples.sling

Subclasses of Gateway in sjm.examples.sling

class

FunctionComparison This class's constructor accepts two functions and an operator, and can evaluate and compare the functions.