public class LdoNegation extends LdoFormula
Modifier and Type | Field and Description |
---|---|
private LdoFormula |
formula
The formula within this negation.
|
Constructor and Description |
---|
LdoNegation(LdoFormula formula)
Creates a new negation with the given formula.
|
Modifier and Type | Method and Description |
---|---|
LdoFormula |
clone()
Creates a deep copy of this formula
|
boolean |
equals(java.lang.Object obj) |
java.util.Set<LdoArgument> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
LdoFormula |
getFormula()
Returns the formula within this negation.
|
java.util.Set<LdoFormula> |
getLiterals()
Returns all literals, i.e.
|
java.util.Set<PropositionalPredicate> |
getPredicates()
Processes the set of all predicates which appear in this
formula
|
DungSignature |
getSignature()
Returns the signature of the language of this formula.
|
int |
hashCode() |
boolean |
isLiteral() |
java.lang.String |
toString() |
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability
private LdoFormula formula
public LdoNegation(LdoFormula formula)
formula
- the formula within the negation.public LdoFormula getFormula()
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class LdoFormula
public boolean equals(java.lang.Object obj)
equals
in interface SimpleLogicalFormula
equals
in class LdoFormula
public java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
getPredicates
in class LdoFormula
public LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class LdoFormula
public java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
getAtoms
in class LdoFormula
public boolean isLiteral()
isLiteral
in interface SimpleLogicalFormula
isLiteral
in class LdoFormula
public java.util.Set<LdoFormula> getLiterals()
LdoFormula
getLiterals
in class LdoFormula
public DungSignature getSignature()
Formula
getSignature
in interface Formula
getSignature
in class LdoFormula