Uses of Class
org.tweetyproject.logics.pl.semantics.PriestWorld
-
Uses of PriestWorld in org.tweetyproject.logics.pl.semantics
ModifierConstructorDescriptionPriestWorld(PriestWorld other)
Creates a new world which is a copy of the given world