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

Packages that use PriestWorld

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

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

Constructors in net.sf.tweety.logics.pl.semantics with parameters of type PriestWorld

Constructor	Description
PriestWorld(PriestWorld other)	Creates a new world which is a copy of the given world