Uses of Class
org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue

Packages that use PriestWorld.TruthValue

Package	Description
org.tweetyproject.logics.pl.semantics

Uses of PriestWorld.TruthValue in org.tweetyproject.logics.pl.semantics

Methods in org.tweetyproject.logics.pl.semantics that return PriestWorld.TruthValue

Modifier and Type	Method	Description
PriestWorld.TruthValue	PriestWorld.TruthValue.and(PriestWorld.TruthValue v)
PriestWorld.TruthValue	PriestWorld.get(Proposition p)	Returns the truth value of the given proposition.
PriestWorld.TruthValue	PriestWorld.TruthValue.neg()
PriestWorld.TruthValue	PriestWorld.TruthValue.or(PriestWorld.TruthValue v)
PriestWorld.TruthValue	PriestWorld.satisfies3VL(PlFormula formula)	Determines the 3-valued truth value of the given formula.
static PriestWorld.TruthValue	PriestWorld.TruthValue.valueOf(java.lang.String name)	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.

Methods in org.tweetyproject.logics.pl.semantics with parameters of type PriestWorld.TruthValue

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