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

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

Modifier and Type	Method	Description
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.and(PriestWorldAdapted.TruthValue v)
PriestWorldAdapted.TruthValue	PriestWorldAdapted.get(Proposition p)	Returns the truth value of the given proposition.
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.neg()
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.or(PriestWorldAdapted.TruthValue v)
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 type with the specified name.
static PriestWorldAdapted.TruthValue[]	PriestWorldAdapted.TruthValue.values()	Returns an array containing the constants of this enum type, 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)
PriestWorldAdapted.TruthValue	PriestWorldAdapted.TruthValue.or(PriestWorldAdapted.TruthValue v)
void	PriestWorldAdapted.set(Proposition p, PriestWorldAdapted.TruthValue val)	Sets the value of the given proposition.