public abstract class LdoFormula extends java.lang.Object implements ClassicalFormula
Constructor and Description |
---|
LdoFormula() |
Modifier and Type | Method and Description |
---|---|
abstract LdoFormula |
clone()
Creates a deep copy of this formula
|
LdoConjunction |
combineWithAnd(Conjuctable f)
Returns a conjunction of this and the given formula.
|
LdoDisjunction |
combineWithOr(Disjunctable f) |
ClassicalFormula |
complement() |
abstract boolean |
equals(java.lang.Object other) |
abstract java.util.Set<LdoArgument> |
getAtoms()
Processes the set of all atoms which appear in this formula
|
java.util.Collection<DungTheory> |
getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this formula, i.e.
|
abstract java.util.Set<LdoFormula> |
getLiterals()
Returns all literals, i.e.
|
java.lang.Class<PropositionalPredicate> |
getPredicateCls() |
abstract 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.
|
Probability |
getUniformProbability() |
abstract int |
hashCode() |
boolean |
isLiteral() |
public abstract java.util.Set<LdoArgument> getAtoms()
SimpleLogicalFormula
getAtoms
in interface SimpleLogicalFormula
public LdoConjunction combineWithAnd(Conjuctable f)
Conjuctable
combineWithAnd
in interface Conjuctable
f
- a formula to be combined with AND and this.public LdoDisjunction combineWithOr(Disjunctable f)
combineWithOr
in interface Disjunctable
f
- a formula to be combined with OR and this.public abstract java.util.Set<PropositionalPredicate> getPredicates()
SimpleLogicalFormula
getPredicates
in interface SimpleLogicalFormula
public abstract java.util.Set<LdoFormula> getLiterals()
public java.util.Collection<DungTheory> getDividers(DungTheory theory, Semantics semantics)
theory
- some argumentation frameworksemantics
- some semanticspublic Probability getUniformProbability()
getUniformProbability
in interface ProbabilityAware
public ClassicalFormula complement()
complement
in interface Invertable
public boolean isLiteral()
isLiteral
in interface SimpleLogicalFormula
public java.lang.Class<PropositionalPredicate> getPredicateCls()
getPredicateCls
in interface SimpleLogicalFormula
public DungSignature getSignature()
Formula
getSignature
in interface Formula
public abstract boolean equals(java.lang.Object other)
equals
in interface SimpleLogicalFormula
equals
in class java.lang.Object
public abstract int hashCode()
hashCode
in interface SimpleLogicalFormula
hashCode
in class java.lang.Object
public abstract LdoFormula clone()
SimpleLogicalFormula
clone
in interface SimpleLogicalFormula
clone
in class java.lang.Object