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

Packages that use Tautology

Package	Description
org.tweetyproject.logics.fol.syntax

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

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

Modifier and Type	Method	Description
Tautology	Tautology.clone()