Interface ClassicalFormula
-
- All Superinterfaces:
Conjunctable,Disjunctable,net.sf.tweety.commons.Formula,Invertable,ProbabilityAware,SimpleLogicalFormula
- All Known Implementing Classes:
RelationalFormula
public interface ClassicalFormula extends Disjunctable, Conjunctable, Invertable, ProbabilityAware
This interface models a classical formula, i.e. a formula that can be connected to other classical formulas using AND and OR and where the complement is well-defined.- Author:
- Matthias Thimm, Tim Janus
-
-
Method Summary
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable
combineWithAnd
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable
combineWithOr
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable
complement
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware
getUniformProbability
-
Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
-
-