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

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

Modifier and Type	Class	Description
static enum	FourValuedWorld.TruthValue	Truth values

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 class with the specified name.
static FourValuedWorld.TruthValue[]	FourValuedWorld.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 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.