Uses of Class
org.tweetyproject.logics.fol.syntax.Contradiction

Packages that use Contradiction

Package	Description
org.tweetyproject.logics.fol.syntax

Uses of Contradiction in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return Contradiction

Modifier and Type	Method	Description
Contradiction	Contradiction.clone()