MlHerbrandBase (Tweety (Modal Logic Library) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.ml.semantics.MlHerbrandBase

```
public class MlHerbrandBase
extends 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

Constructor Summary

Constructors
Constructor Description

MlHerbrandBase(net.sf.tweety.logics.fol.syntax.FolSignature sig)
Creates a new Herbrand base for the given signature.

Method Summary

Modifier and Type	Method	Description
`Set<MlHerbrandInterpretation>`	`getAllHerbrandInterpretations()`	Computes all possible Herbrand interpretations of this Herbrand base, i.e.
`Set<net.sf.tweety.logics.fol.syntax.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
  - MlHerbrandBase
```
public MlHerbrandBase(net.sf.tweety.logics.fol.syntax.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:
    
    IllegalArgumentException - if "sig" contains a functor.
    
    See Also:
    
    HerbrandBase(FolSignature sig)
- Method Detail
  - getAllHerbrandInterpretations
```
public Set<MlHerbrandInterpretation> 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 Set<net.sf.tweety.logics.fol.syntax.FolAtom> getAtoms()
```
    Returns all atoms of this Herbrand base.
    
    Returns:
    
    all atoms of this Herbrand base.
    
    See Also:
    
    HerbrandBase.getAtoms()