Uses of Class
net.sf.tweety.logics.fol.syntax.Contradiction

Packages that use Contradiction

Package	Description
net.sf.tweety.logics.fol.syntax

Uses of Contradiction in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Contradiction

Modifier and Type	Method	Description
Contradiction	Contradiction.clone()