net.sf.tweety.logics.fol.semantics

Class HerbrandBase

java.lang.Object

net.sf.tweety.logics.fol.semantics.HerbrandBase

public class HerbrandBase
extends Object

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Set<HerbrandInterpretation>	allHerbrandInterpretations() Computes all possible Herbrand interpretations of this Herbrand base, i.e.
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

Constructor Detail

HerbrandBase

public HerbrandBase(FolSignature sig)
             throws 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.

IllegalArgumentException

Method Detail

allHerbrandInterpretations

public Set<HerbrandInterpretation> allHerbrandInterpretations()

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 Set<FOLAtom> getAtoms()

Returns all atoms of this Herbrand base.

Returns:

all atoms of this Herbrand base.