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

Packages that use PriestWorld

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

Uses of PriestWorld in net.sf.tweety.logics.pl.analysis

Fields in net.sf.tweety.logics.pl.analysis with type parameters of type PriestWorld

Modifier and Type	Field	Description
private java.util.List<PriestWorld>	ContensionInconsistencyMeasurementProcess.worlds	The current candidate 3-valued models.