Package org.tweetyproject.logics.fol.semantics

Class HerbrandBase

java.lang.Object

org.tweetyproject.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	Description
HerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

Method Summary

Modifier and Type	Method	Description
Set<HerbrandInterpretation>	getAllHerbrandInterpretations()	Return all possible Herbrand interpretations.
Set<FolAtom>	getAtoms()	Return all atoms of this Herbrand base.

Methods inherited from class java.lang.Object

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

Constructor Details

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.

Throws:

IllegalArgumentException - if "sig" contains a functor.

Method Details

getAllHerbrandInterpretations

public Set<HerbrandInterpretation> getAllHerbrandInterpretations()

Return all possible Herbrand interpretations.

Returns:

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

getAtoms

public Set<FolAtom> getAtoms()

Return all atoms of this Herbrand base.

Returns:

all atoms of this Herbrand base.