public interface ComplexLogicalFormula extends SimpleLogicalFormula, LogicStructure
Modifier and Type | Method and Description |
---|---|
ComplexLogicalFormula |
clone()
Creates a deep copy of this formula
|
ComplexLogicalFormula |
exchange(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and at the same time replaces all occurrences of term "t"
by term "v" and eventually returns the new formula.
|
boolean |
isGround()
Checks whether this formula is ground, i.e.
|
boolean |
isWellFormed()
Checks if this formula is well formed in the logical langauge.
|
ComplexLogicalFormula |
substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Substitutes all occurrences of all terms "v" in map.keyset() in this formula
by map.get(v) and returns the new formula.
|
ComplexLogicalFormula |
substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
containsTermsOfType, getTerms, getTerms
ComplexLogicalFormula substitute(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
v
- the term to be substituted.t
- the term to substitute.java.lang.IllegalArgumentException
- if "v" and "t" are of different sortsComplexLogicalFormula substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map) throws java.lang.IllegalArgumentException
map
- a mapping defining which terms to be substituted.java.lang.IllegalArgumentException
- if any term and its mapping are of different sortsComplexLogicalFormula exchange(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
v
- a term.t
- a term.java.lang.IllegalArgumentException
- if "v" and "t" are of different sortsboolean isGround()
boolean isWellFormed()
ComplexLogicalFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula