Uses of Class
sjm.engine.Scope

Packages that use Scope

sjm.engine

Uses of Scope in sjm.engine

Fields in sjm.engine declared as Scope

protected Scope

DynamicRule.scope

Methods in sjm.engine that return Scope

Scope

DynamicRule.getScope() Return the home of this dynamic rule's variables.

Methods in sjm.engine with parameters of type Scope

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.
Term	Term.copyForProof(AxiomSource as, Scope scope) Returns a copy of the term for use in a proof.
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.
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 Scope

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.

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