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 Constructor Description PriestWorld(PriestWorld other)
Creates a new world which is a copy of the given world
-