Uses of Package
org.tweetyproject.logics.translators.adfconditional

Packages that use org.tweetyproject.logics.translators.adfconditional

Package	Description
org.tweetyproject.logics.translators.adfconditional

Classes in org.tweetyproject.logics.translators.adfconditional used by org.tweetyproject.logics.translators.adfconditional

Class	Description
FourValuedWorld	This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENT
FourValuedWorld.TruthValue	Truth values
ThreeValuedWorld	This class models a three-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the three truth values: TRUE, FALSE, UNDECIDED.
ThreeValuedWorld.TruthValue	The three truth values.