sjm.engine
Interface DynamicAxiom

All Known Implementing Classes:

Fact, DynamicRule

public interface DynamicAxiom

A DynamicAxiom is an axiom (that is, either a fact or a rule) that a structure can consult to prove itself.

Method Summary

Structure	head() Return the first structure of this dynamic axiom.
DynamicRule	resolvent() Return the tail of this dynamic axiom.

Method Detail

head

public Structure head()

Return the first structure of this dynamic axiom.

Returns:

the first structure of this dynamic axiom

resolvent

public DynamicRule resolvent()

Return the tail of this dynamic axiom.

Returns:

the tail of this dynamic axiom. This tail is the part of the dynamic that still needs to prove itself.