Uses of Interface
sjm.engine.AxiomSource

Packages that use AxiomSource

sjm.engine
sjm.examples.logic
sjm.examples.query

Uses of AxiomSource in sjm.engine

Classes in sjm.engine that implement AxiomSource

class

Program A Program is a collection of rules and facts that together form a logical model.

Fields in sjm.engine declared as AxiomSource

protected AxiomSource	DynamicRule.as
protected AxiomSource	ConsultingStructure.source

Methods in sjm.engine with parameters of type AxiomSource

Term	Structure.copyForProof(AxiomSource as, Scope scope) Create a ConsultingStructure counterpart that can unify with other structures.
Term	Fact.copyForProof(AxiomSource ignored, Scope ignored2) Returns this fact.
DynamicAxiom	Fact.dynamicAxiom(AxiomSource ignored) Returns this fact.
Term	Term.copyForProof(AxiomSource as, Scope scope) Returns a copy of the term for use in a proof.
DynamicAxiom	Axiom.dynamicAxiom(AxiomSource as) Return an axiom that a consulting structure can use to prove itself.
DynamicAxiom	Rule.dynamicAxiom(AxiomSource as) Return a provable version of this rule.
Term	Variable.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.
protected static Structure[]	DynamicRule.provableStructures(AxiomSource as, Scope scope, Structure[] structures) Create provable versions of an input array of structures.
Term	ArithmeticOperator.copyForProof(AxiomSource ignored, Scope scope) Create a copy using the supplied scope for variables.
void	Program.append(AxiomSource as) Appends all the axioms of another source to this one.
Term	Anonymous.copyForProof(AxiomSource ignored, Scope ignored2) Returns this anonymous variable, which does not unify with anything and thus does not need to copy itself.
Term	Not.copyForProof(AxiomSource as, Scope scope) Create a ConsultingNot counterpart that can prove itself.
Term	Comparison.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.
Term	Evaluation.copyForProof(AxiomSource ignored, Scope scope) Create a copy that uses the provided scope.

Constructors in sjm.engine with parameters of type AxiomSource

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

DynamicRule.DynamicRule(AxiomSource as, Scope scope, Rule rule)
Construct a provable rule for the given axiom source, scope, and rule.

ConsultingStructure.ConsultingStructure(AxiomSource source, java.lang.Object functor, Term[] terms)

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, Rule rule)
Create a query from the given rule's 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.

Uses of AxiomSource in sjm.examples.logic

Methods in sjm.examples.logic with parameters of type AxiomSource

static Query

LogikusFacade.query(java.lang.String s, AxiomSource as) Parse the text of a Logikus query and return a Query object.

Uses of AxiomSource in sjm.examples.query

Classes in sjm.examples.query that implement AxiomSource

class

ChipSource This class draws on data from the class ChipBase in sjm.examples.chips, to supplies facts about chips, customers, and orders.

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

Query

QueryBuilder.build(AxiomSource as) Create a query from the terms, class names and variables this object has received so far.