Class ReferenceWorld

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<FolBeliefSet,FolFormula>
org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
All Implemented Interfaces:
Map<Predicate,InstanceAssignment>, Interpretation<FolBeliefSet,FolFormula>

public class ReferenceWorld extends AbstractInterpretation<FolBeliefSet,FolFormula> implements Map<Predicate,InstanceAssignment>
Instances of this class represent reference worlds, i.e. sets of instance assignment. Each reference world describes a set of Herbrand interpretations.
Author:
Matthias Thimm