Class LdoFormula
java.lang.Object
org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
- Direct Known Subclasses:
AbstractLdoModality
,LdoArgument
,LdoAssociativeFormula
,LdoNegation
,LdoRelation
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract LdoFormula
clone()
Creates a deep copy of this formulaReturns a conjunction of this and the given formula.abstract boolean
abstract Set<LdoArgument>
getAtoms()
Processes the set of all atoms which appear in this formulagetDividers
(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e.abstract Set<LdoFormula>
Returns all literals, i.e.abstract Set<PlPredicate>
Processes the set of all predicates which appear in this formulaReturns the signature of the language of this formula.abstract int
hashCode()
boolean
-
Constructor Details
-
LdoFormula
public LdoFormula()
-
-
Method Details
-
getAtoms
Description copied from interface:SimpleLogicalFormula
Processes the set of all atoms which appear in this formula- Specified by:
getAtoms
in interfaceSimpleLogicalFormula
- Returns:
- The set of all atoms
-
combineWithAnd
Description copied from interface:Conjunctable
Returns a conjunction of this and the given formula.- Specified by:
combineWithAnd
in interfaceConjunctable
- Parameters:
f
- a formula to be combined with AND and this.- Returns:
- a conjunction of this and the given formula.
-
combineWithOr
- Specified by:
combineWithOr
in interfaceDisjunctable
- Parameters:
f
- a formula to be combined with OR and this.- Returns:
- a disjunction of this and the given formula.
-
getPredicates
Description copied from interface:SimpleLogicalFormula
Processes the set of all predicates which appear in this formula- Specified by:
getPredicates
in interfaceSimpleLogicalFormula
- Returns:
- all predicates that appear in this formula
-
getLiterals
Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.- Returns:
- all literals appearing in this formula.
-
getDividers
Returns the dividers for this formula, i.e. all sub-theories of the given theory such that this formula is satisfied by this sub-theory.- Parameters:
theory
- some argumentation frameworksemantics
- some semantics- Returns:
- the set of dividers of this formula
-
getUniformProbability
- Specified by:
getUniformProbability
in interfaceProbabilityAware
- Returns:
- this formula's probability in the uniform distribution.
-
complement
- Specified by:
complement
in interfaceInvertable
- Returns:
- the complement of this formula.
-
isLiteral
public boolean isLiteral()- Specified by:
isLiteral
in interfaceSimpleLogicalFormula
- Returns:
- true if the formula represents a literal in the language or false otherwise
-
getPredicateCls
- Specified by:
getPredicateCls
in interfaceSimpleLogicalFormula
- Returns:
- The class description of the predicate used by this formula.
-
getSignature
Description copied from interface:Formula
Returns the signature of the language of this formula.- Specified by:
getSignature
in interfaceFormula
- Returns:
- the signature of the language of this formula.
-
equals
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Overrides:
equals
in classObject
-
hashCode
public abstract int hashCode()- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Overrides:
hashCode
in classObject
-
clone
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Returns:
- the cloned formula
-