Uses of Enum
org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue

Packages that use FourValuedWorld.TruthValue

Package	Description
org.tweetyproject.logics.translators.adfconditional

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

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

Modifier and Type	Method	Description
FourValuedWorld.TruthValue	FourValuedWorld.get(Proposition p)	Returns the truth value of the given proposition.
FourValuedWorld.TruthValue	FourValuedWorld.satisfies4VL(PlFormula formula)	Determines the 4-valued truth value of the given formula.
static FourValuedWorld.TruthValue	FourValuedWorld.TruthValue.valueOf(String name)	Returns the enum constant of this type with the specified name.
static FourValuedWorld.TruthValue[]	FourValuedWorld.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 FourValuedWorld.TruthValue

Modifier and Type	Method	Description
static boolean	FourValuedWorld.informationOrder(FourValuedWorld.TruthValue firstTruthValue, FourValuedWorld.TruthValue secondTruthValue)	This method puts the 4 truth values into an information order
void	FourValuedWorld.set(Proposition p, FourValuedWorld.TruthValue val)	Sets the value of the given proposition.