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

Interface Invertable

All Superinterfaces:

Formula, SimpleLogicalFormula

All Known Subinterfaces:

ClassicalFormula, DLPLiteral

All Known Implementing Classes:

AbstractGraphLdoModality, AbstractLdoModality, AlwaysQuery, AssociativeFOLFormula, AssociativePropositionalFormula, Conjunction, Conjunction, Contradiction, Contradiction, DefaultRule, DefeasibleRule, DelpFact, DelpRule, Disjunction, Disjunction, DLPAtom, DLPNeg, ExistsQuantifiedFormula, FOLAtom, FolFormula, ForallQuantifiedFormula, HoldsQuery, LdoArgument, LdoAssociativeFormula, LdoBoxModality, LdoConjunction, LdoDiamondModality, LdoDisjunction, LdoFormula, LdoGraphBoxModality, LdoGraphDiamondModality, LdoNegation, LdoRelation, MlnFormula, ModalFormula, NecessarilyQuery, Necessity, Negation, Negation, NLPNot, Possibility, Proposition, PropositionalFormula, QuantifiedFormula, QueryProposition, RelationalConditional, RelationalFormula, RelationalProbabilisticConditional, SpecialFormula, SpecialFormula, StrictRule, Tautology, Tautology

public interface Invertable
extends SimpleLogicalFormula

Formulas implementing this interface have a complement

Author:

Tim Janus

Method Summary

Modifier and Type	Method and Description
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

Method Detail

complement

Invertable complement()

Returns:

the complement of this formula.