net.sf.tweety.logics.commons.syntax.interfaces

Interface ClassicalFormula

All Superinterfaces:

Conjuctable, Disjunctable, net.sf.tweety.commons.Formula, Invertable, ProbabilityAware, SimpleLogicalFormula

All Known Implementing Classes:

RelationalFormula

public interface ClassicalFormula
extends Disjunctable, Conjuctable, 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.Disjunctable

combineWithOr

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable

combineWithAnd

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

complement

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

getUniformProbability