public class RuleDerivation extends Object implements Derivation
Constructor and Description |
---|
RuleDerivation(Rule rule,
Triple conclusion,
List<Triple> matches,
InfGraph infGraph)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other)
Compare two derivations.
|
Triple |
getConclusion() |
List<Triple> |
getMatches() |
Rule |
getRule() |
void |
printTrace(PrintWriter out,
boolean bindings)
Print a deep traceback of this derivation back to axioms and
source assertions.
|
String |
toString()
Return a short-form description of this derivation.
|
public RuleDerivation(Rule rule, Triple conclusion, List<Triple> matches, InfGraph infGraph)
rule
- the rule which created this derivationconclusion
- the triple which the rule createdmatches
- a list of matching Triples corresponding to the rule body patternsinfGraph
- the parent infGraph which was controlling the derivationpublic String toString()
toString
in interface Derivation
toString
in class Object
public void printTrace(PrintWriter out, boolean bindings)
printTrace
in interface Derivation
out
- the stream to print the trace out tobindings
- set to true to print intermediate variable bindings for
each stage in the derivationpublic Triple getConclusion()
public List<Triple> getMatches()
public Rule getRule()
Licenced under the Apache License, Version 2.0