Uses of Enum
org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
-
Uses of PriestWorld.TruthValue in org.tweetyproject.logics.pl.semantics
Modifier and TypeMethodDescriptionPriestWorld.TruthValue.and(PriestWorld.TruthValue v)
PriestWorld.get(Proposition p)
Returns the truth value of the given proposition.PriestWorld.TruthValue.neg()
PriestWorld.TruthValue.or(PriestWorld.TruthValue v)
PriestWorld.satisfies3VL(PlFormula formula)
Determines the 3-valued truth value of the given formula.static PriestWorld.TruthValue
Returns the enum constant of this type with the specified name.static PriestWorld.TruthValue[]
PriestWorld.TruthValue.values()
Returns an array containing the constants of this enum type, in the order they are declared.Modifier and TypeMethodDescriptionPriestWorld.TruthValue.and(PriestWorld.TruthValue v)
PriestWorld.TruthValue.or(PriestWorld.TruthValue v)
void
PriestWorld.set(Proposition p, PriestWorld.TruthValue val)
Sets the value of the given proposition.