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

Subclasses with type arguments of type PriestWorld.TruthValue in org.tweetyproject.logics.pl.semantics

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

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

Modifier and Type	Method	Description
PriestWorld.TruthValue	PriestWorld.TruthValue.and(PriestWorld.TruthValue v)	Return AND
PriestWorld.TruthValue	PriestWorld.get(Proposition p)	Returns the truth value of the given proposition.
PriestWorld.TruthValue	PriestWorld.TruthValue.neg()	Return negation
PriestWorld.TruthValue	PriestWorld.TruthValue.or(PriestWorld.TruthValue v)	Return OR
PriestWorld.TruthValue	PriestWorld.satisfies3VL(PlFormula formula)	Determines the 3-valued truth value of the given formula.
static PriestWorld.TruthValue	PriestWorld.TruthValue.valueOf(String name)	Returns the enum constant of this class with the specified name.
static PriestWorld.TruthValue[]	PriestWorld.TruthValue.values()	Returns an array containing the constants of this enum class, 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)	Return AND
PriestWorld.TruthValue	PriestWorld.TruthValue.or(PriestWorld.TruthValue v)	Return OR
void	PriestWorld.set(Proposition p, PriestWorld.TruthValue val)	Sets the value of the given proposition.