Class ModalHerbrandBase

java.lang.Object

net.sf.tweety.logics.ml.semantics.ModalHerbrandBase

public class ModalHerbrandBase
extends java.lang.Object

Modified version of HerbrandBase that allows for modal formulas.
The Herbrand base is the set of all possible ground atoms of some
given first-order logic.
NOTE: We only allow to define a Herbrand base for signatures without
function symbols.