Uses of Enum Class
org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue

Packages that use ThreeValuedWorld.TruthValue

Package	Description
org.tweetyproject.logics.translators.adfconditional

Uses of ThreeValuedWorld.TruthValue in org.tweetyproject.logics.translators.adfconditional

Subclasses with type arguments of type ThreeValuedWorld.TruthValue in org.tweetyproject.logics.translators.adfconditional

Modifier and Type	Class	Description
static enum	ThreeValuedWorld.TruthValue	The three truth values.

Methods in org.tweetyproject.logics.translators.adfconditional that return ThreeValuedWorld.TruthValue

Modifier and Type	Method	Description
ThreeValuedWorld.TruthValue	ThreeValuedWorld.get(Proposition p)	Returns the truth value of the given proposition.
ThreeValuedWorld.TruthValue	ThreeValuedWorld.satisfies3VL(PlFormula formula)	Determines the 3-valued truth value of the given formula.
static ThreeValuedWorld.TruthValue	ThreeValuedWorld.TruthValue.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ThreeValuedWorld.TruthValue[]	ThreeValuedWorld.TruthValue.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in org.tweetyproject.logics.translators.adfconditional with parameters of type ThreeValuedWorld.TruthValue

Modifier and Type	Method	Description
void	ThreeValuedWorld.set(Proposition p, ThreeValuedWorld.TruthValue val)	Sets the value of the given proposition.