Uses of Enum
org.tweetyproject.logics.translators.adfcl.PriestWorldAdapted.TruthValue
-
Uses of PriestWorldAdapted.TruthValue in org.tweetyproject.logics.translators.adfcl
Modifier and TypeMethodDescriptionPriestWorldAdapted.TruthValue.and(PriestWorldAdapted.TruthValue v)
PriestWorldAdapted.get(Proposition p)
Returns the truth value of the given proposition.PriestWorldAdapted.TruthValue.neg()
PriestWorldAdapted.TruthValue.or(PriestWorldAdapted.TruthValue v)
PriestWorldAdapted.satisfies3VL(PlFormula formula)
Determines the 3-valued truth value of the given formula.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.weakNeg()
J: Weak negationModifier and TypeMethodDescriptionPriestWorldAdapted.TruthValue.and(PriestWorldAdapted.TruthValue v)
PriestWorldAdapted.TruthValue.or(PriestWorldAdapted.TruthValue v)
void
PriestWorldAdapted.set(Proposition p, PriestWorldAdapted.TruthValue val)
Sets the value of the given proposition.