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

Packages that use PriestWorld

Package	Description
org.tweetyproject.logics.pl.semantics

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

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

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