Uses of Enum
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

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 type with the specified name.
static ThreeValuedWorld.TruthValue[]	ThreeValuedWorld.TruthValue.values()	Returns an array containing the constants of this enum type, 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.