Uses of Enum Class
org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue

Packages that use PriestWorldAdapted.TruthValue

Package	Description
org.tweetyproject.logics.translators.adfrevision

Uses of PriestWorldAdapted.TruthValue in org.tweetyproject.logics.translators.adfrevision

Subclasses with type arguments of type PriestWorldAdapted.TruthValue in org.tweetyproject.logics.translators.adfrevision

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

Methods in org.tweetyproject.logics.translators.adfrevision that return PriestWorldAdapted.TruthValue

Modifier and Type	Method	Description
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.and(PriestWorldAdapted.TruthValue v)	Return TruthValue
PriestWorldAdapted.TruthValue	PriestWorldAdapted.get(Proposition p)	Returns the truth value of the given proposition.
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.neg()	Return a Truthvalue
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.or(PriestWorldAdapted.TruthValue v)	Return TruthValue
PriestWorldAdapted.TruthValue	PriestWorldAdapted.satisfies3VL(PlFormula formula)	Determines the 3-valued truth value of the given formula.
static PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.valueOf(String name)	Returns the enum constant of this class with the specified name.
static PriestWorldAdapted.TruthValue[]	PriestWorldAdapted.TruthValue.values()	Returns an array containing the constants of this enum class, in the order they are declared.
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.weakNeg()	J: Weak negation

Methods in org.tweetyproject.logics.translators.adfrevision with parameters of type PriestWorldAdapted.TruthValue

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