public class Conditional extends java.lang.Object implements SimpleLogicalFormula, Rule<PropositionalFormula,PropositionalFormula>
Modifier and Type | Field and Description |
---|---|
private PropositionalFormula |
conclusion
The conclusion of this conditional.
|
private PropositionalFormula |
premise
The premise of this conditional.
|
Constructor and Description |
---|
Conditional(PropositionalFormula conclusion)
Creates a new conditional with a tautological premise
and given conclusion.
|
Conditional(PropositionalFormula premise,
PropositionalFormula conclusion)
Creates a new conditional with the given premise
and conclusion.
|
Modifier and Type | Method and Description |
---|---|
void |
addPremise(PropositionalFormula premise) |
void |
addPremises(java.util.Collection<? extends PropositionalFormula> premises) |
Conditional |
clone()
Creates a deep copy of this formula
|
Conjunction |
combineWithAnd(Conjuctable f) |
Disjunction |
combineWithOr(Disjunctable f) |
Conditional |
complement() |
boolean |
equals(java.lang.Object obj) |
java.util.Set<Proposition> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
PropositionalFormula |
getConclusion()
Returns the conclusion of this rule.
|
java.lang.Class<? extends Predicate> |
getPredicateCls() |
java.util.Set<? extends Predicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
java.util.Collection<PropositionalFormula> |
getPremise()
Returns the premise of this rule.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
isConstraint() |
boolean |
isFact()
Checks whether this conditional is a fact, i.e.
|
boolean |
isLiteral() |
void |
setConclusion(PropositionalFormula conclusion) |
java.lang.String |
toString() |
private PropositionalFormula premise
private PropositionalFormula conclusion
public Conditional(PropositionalFormula conclusion)
conclusion
- the conclusion (a formula) of this conditional.public Conditional(PropositionalFormula premise, PropositionalFormula conclusion)
premise
- the premise (a formula) of this conditional.conclusion
- the conclusion (a formula) of this conditional.public java.util.Collection<PropositionalFormula> getPremise()
Rule
getPremise
in interface Rule<PropositionalFormula,PropositionalFormula>
public PropositionalFormula getConclusion()
Rule
getConclusion
in interface Rule<PropositionalFormula,PropositionalFormula>
public boolean isFact()
isFact
in interface Rule<PropositionalFormula,PropositionalFormula>
public Signature getSignature()
Formula
getSignature
in interface Formula
getSignature
in interface Rule<PropositionalFormula,PropositionalFormula>
public java.lang.String toString()
toString
in class java.lang.Object
public Conjunction combineWithAnd(Conjuctable f)
public Disjunction combineWithOr(Disjunctable f)
public Conditional complement()
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class java.lang.Object
public java.util.Set<Proposition> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
public java.util.Set<? extends Predicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
public Conditional clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class java.lang.Object
public boolean isLiteral()
isLiteral
in interface SimpleLogicalFormula
public java.lang.Class<? extends Predicate> getPredicateCls()
getPredicateCls
in interface SimpleLogicalFormula
public boolean isConstraint()
isConstraint
in interface Rule<PropositionalFormula,PropositionalFormula>
public void setConclusion(PropositionalFormula conclusion)
setConclusion
in interface Rule<PropositionalFormula,PropositionalFormula>
public void addPremise(PropositionalFormula premise)
addPremise
in interface Rule<PropositionalFormula,PropositionalFormula>
public void addPremises(java.util.Collection<? extends PropositionalFormula> premises)
addPremises
in interface Rule<PropositionalFormula,PropositionalFormula>