net.sf.tweety.logics.ml.semantics

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.

Author:

Matthias Thimm, Anna Gessler

See Also:

HerbrandBase

Field Summary

Fields

Modifier and Type	Field and Description
private HerbrandBase	hBase

Constructor Summary

Constructors

Constructor and Description
ModalHerbrandBase(FolSignature sig) Creates a new Herbrand base for the given signature.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hBase

private HerbrandBase hBase

Constructor Detail

ModalHerbrandBase

public ModalHerbrandBase(FolSignature sig)
                  throws java.lang.IllegalArgumentException

Creates a new Herbrand base for the given signature.
NOTE: We only allow to define a Herbrand base for signatures without function symbols.

Parameters:

sig - the underlying first-order signature for this Herbrand base. There should be no functors defined in "sig"

Throws:

IllegalArgumentationException - if "sig" contains a functor.

java.lang.IllegalArgumentException

See Also:

HerbrandBase.HerbrandBase(FolSignature sig)

Method Detail

getAllHerbrandInterpretations

public java.util.Set<ModalHerbrandInterpretation> getAllHerbrandInterpretations()

Computes all possible Herbrand interpretations of this Herbrand base, i.e. all possible subsets of this Herbrand base.

Returns:

all possible Herbrand interpretations of this Herbrand base, i.e. all possible subsets of this Herbrand base.

getAtoms

public java.util.Set<FOLAtom> getAtoms()

Returns all atoms of this Herbrand base.

Returns:

all atoms of this Herbrand base.

See Also:

HerbrandBase.getAtoms()