Uses of Class
sjm.engine.Structure

Packages that use Structure

sjm.engine
sjm.examples.query
sjm.examples.sling

Uses of Structure in sjm.engine

Subclasses of Structure in sjm.engine

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	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	ConsultingStructure A ConsultingStructure is structure that can prove itself against an axiom source supplied with the constructor.
class	EmptyList The EmptyList is a list with no terms.
class	Evaluation An Evaluation unifies a term with the value of another term.
class	Fact A Fact is a Structure that contains only other Facts.
class	Gateway A Gateway is a structure that can prove its truth at most once before failing.
class	Not A Not is a structure that fails if it can prove itself against a program.
class	NumberFact A NumberFact is a fact with a Number as its functor.

Fields in sjm.engine declared as Structure

protected Structure[]

Rule.structures

Methods in sjm.engine that return Structure

static Structure	Structure.list(java.lang.Object[] objects) Constructs a list that contains the supplied object, wrapped as Facts.
static Structure	Structure.list(Term[] terms) Constructs a list from the given terms.
static Structure	Structure.list(Term[] terms, Term tail) Constructs a list that terminates with a known list, or a variable.
Structure	Fact.head() Returns this fact.
Structure	DynamicAxiom.head() Return the first structure of this dynamic axiom.
Structure	Axiom.head() Return the first structure of this axiom.
Structure	Rule.head() Return the first structure in this rule.
protected static Structure[]	DynamicRule.provableStructures(AxiomSource as, Scope scope, Structure[] structures) Create provable versions of an input array of structures.

Methods in sjm.engine with parameters of type Structure

boolean	Structure.functorAndArityEquals(Structure s) Returns true if this structure's functor and number of terms match the supplied structure.
Unification	Structure.unify(Structure s) Unifies the terms in this structure with the terms in the given structure, and returns the variable bindings that result.
Unification	Term.unify(Structure s) Returns a collection of variables that allow this term to unify with a structure.
Unification	Variable.unify(Structure s) Instantiates this variable with the supplied structure, or forwards the request to its instantiation if it already has one.
protected static Structure[]	DynamicRule.provableStructures(AxiomSource as, Scope scope, Structure[] structures) Create provable versions of an input array of structures.
AxiomEnumeration	Program.axioms(Structure ignored) Returns an enumeration of the axioms in this program.
Unification	Anonymous.unify(Structure ignored) Returns an empty unification.
AxiomEnumeration	AxiomSource.axioms(Structure s) Returns an enumeration of axioms.

Constructors in sjm.engine with parameters of type Structure

Rule.Rule(Structure[] structures)
Construct rule from the given structures.

Rule.Rule(Structure s)
Construct a one-structure rule from the given structure.

DynamicRule.DynamicRule(AxiomSource as, Scope scope, Structure[] structures)

Not.Not(Structure s)
Constructs a Not version of the supplied structure.

Query.Query(AxiomSource as, Structure[] structures)
Create a query from the given structures, to prove itself against the given axiom source.

Query.Query(AxiomSource as, Scope scope, Structure[] structures)

Query.Query(AxiomSource as, Structure structure)
Create a query from the given structure, to prove itself against the given axiom source.

Query.Query(Structure structure)
Create a query from the given structure, to prove itself without any axiom source.

Uses of Structure in sjm.examples.query

Methods in sjm.examples.query that return Structure

static Structure	ChipSource.queryChip()
static Structure	ChipSource.queryCustomer()
static Structure	ChipSource.queryOrder()
static Structure	ChipSource.queryStructure(java.lang.String className) Given the name of a class, return a query that will match against facts that represent objects of the class.

Methods in sjm.examples.query with parameters of type Structure

AxiomEnumeration

ChipSource.axioms(Structure s) Returns all the data in the chip database.

Uses of Structure in sjm.examples.sling

Subclasses of Structure in sjm.examples.sling

class

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