public class ModalHerbrandBase
extends java.lang.Object
HerbrandBase
Modifier and Type | Field and Description |
---|---|
private HerbrandBase |
hBase |
Constructor and Description |
---|
ModalHerbrandBase(FolSignature sig)
Creates a new Herbrand base for the given signature.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<ModalHerbrandInterpretation> |
getAllHerbrandInterpretations()
Computes all possible Herbrand interpretations of this Herbrand
base, i.e.
|
java.util.Set<FOLAtom> |
getAtoms()
Returns all atoms of this Herbrand base.
|
private HerbrandBase hBase
public ModalHerbrandBase(FolSignature sig) throws java.lang.IllegalArgumentException
sig
- the underlying first-order signature for
this Herbrand base. There should be no functors defined in "sig"IllegalArgumentationException
- if "sig" contains a functor.java.lang.IllegalArgumentException
HerbrandBase.HerbrandBase(FolSignature sig)
public java.util.Set<ModalHerbrandInterpretation> getAllHerbrandInterpretations()
public java.util.Set<FOLAtom> getAtoms()
HerbrandBase.getAtoms()