Uses of Class
net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue

Packages that use PriestWorld.TruthValue

Package	Description
net.sf.tweety.logics.pl.semantics

Uses of PriestWorld.TruthValue in net.sf.tweety.logics.pl.semantics

Methods in net.sf.tweety.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 net.sf.tweety.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.