Compiler(ContinuousRulesStrategy strategy) |
DiffFrom(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
NodeProvider subject,
NodeProvider object) |
Edge(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
NodeProvider subject,
Role role,
NodeProvider object) |
Inconsistency(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain) |
ProduceBinding(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
Rule rule,
Map<AtomVariable,NodeProvider> args) |
ProductionNode(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain) |
SameAs(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
NodeProvider subject,
NodeProvider object) |
Type(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
NodeProvider subject,
aterm.ATermAppl type) |