Uses of Class
sjm.engine.Rule

Packages that use Rule

sjm.engine

Uses of Rule in sjm.engine

Subclasses of Rule in sjm.engine

class	DynamicRule A DynamicRule represents a provable statement that a structure is true if a following series of other structures are true.
class	Query A Query is a dynamic rule that stands outside of a program and proves itself by referring to a program.

Constructors in sjm.engine with parameters of type Rule

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

Query.Query(AxiomSource as, Rule rule)
Create a query from the given rule's structures, to prove itself against the given axiom source.