public class SimplePlLogicArgument extends Argument
Modifier and Type | Field and Description |
---|---|
private PropositionalFormula |
claim |
private java.util.Collection<SimplePlRule> |
support |
Constructor and Description |
---|
SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support,
PropositionalFormula _claim) |
SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
PropositionalFormula |
getClaim() |
java.util.Collection<? extends SimplePlRule> |
getSupport() |
int |
hashCode() |
java.lang.String |
toString() |
getLdoArgument, getLdoFormula, getName, getSignature, setName
private java.util.Collection<SimplePlRule> support
private PropositionalFormula claim
public SimplePlLogicArgument(java.util.Collection<SimplePlRule> _support, PropositionalFormula _claim)
public SimplePlLogicArgument(Derivation<SimplePlRule> derivation)
node
- of a DigraphNode of a DerivationGraphSimplePlLogicDeductiveKnowledgebase
public java.util.Collection<? extends SimplePlRule> getSupport()
public PropositionalFormula getClaim()