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

Interface Invertable

All Superinterfaces:

net.sf.tweety.commons.Formula, SimpleLogicalFormula

All Known Subinterfaces:

ClassicalFormula

All Known Implementing Classes:

RelationalFormula

public interface Invertable
extends SimpleLogicalFormula

Formulas implementing this interface have a complement

Author:

Tim Janus

Method Summary

Modifier and Type	Method	Description
Invertable	complement()

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

getSignature

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

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

Method Detail

complement

Invertable complement()

Returns:

the complement of this formula.