public static class DerivationHistory.Disjunction extends Object implements DerivationHistory.Fact
| Constructor and Description |
|---|
Disjunction(GroundDisjunction groundDisjunction,
DerivationHistory.Derivation derivedBy) |
| Modifier and Type | Method and Description |
|---|---|
Node |
getArgument(int disjunctIndex,
int argumentIndex) |
DerivationHistory.Derivation |
getDerivation() |
Object |
getDLPredicate(int disjunctIndex) |
int |
getNumberOfDisjuncts() |
String |
toString() |
String |
toString(Prefixes prefixes) |
public Disjunction(GroundDisjunction groundDisjunction, DerivationHistory.Derivation derivedBy)
public int getNumberOfDisjuncts()
public Object getDLPredicate(int disjunctIndex)
public Node getArgument(int disjunctIndex, int argumentIndex)
public DerivationHistory.Derivation getDerivation()
getDerivation in interface DerivationHistory.Factpublic String toString(Prefixes prefixes)
toString in interface DerivationHistory.Factprefixes - prefixesCopyright © 2020. All rights reserved.