public interface DLPLiteral extends DLPElement, Atom, Invertable, java.lang.Comparable<DLPLiteral>
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
Modifier and Type | Method and Description |
---|---|
DLPLiteral |
cloneWithAddedTerm(Term<?> term)
Creates a copy of the literal and adds the
given term as argument to the end of the argument
list.
|
DLPLiteral |
complement() |
DLPAtom |
getAtom() |
DLPLiteral |
substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this formula
by term "t" and returns the new formula.
|
clone, getAtoms, getLiterals, getPredicates, getSignature
exchange, isGround, isWellFormed, substitute
equals, getPredicateCls, hashCode, isLiteral
containsTermsOfType, getTerms, getTerms
addArgument, getArguments, getName, getPredicate, isComplete, setPredicate
DLPLiteral cloneWithAddedTerm(Term<?> term)
term
- the new argument.DLPAtom getAtom()
DLPLiteral complement()
complement
in interface Invertable
DLPLiteral substitute(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
ComplexLogicalFormula
substitute
in interface ComplexLogicalFormula
substitute
in interface DLPElement
v
- the term to be substituted.t
- the term to substitute.java.lang.IllegalArgumentException
- if "v" and "t" are of different sorts