Package org.tweetyproject.logics.fol.syntax

Class FolBeliefSet

java.lang.Object

org.tweetyproject.commons.BeliefSet<FolFormula,FolSignature>

org.tweetyproject.logics.fol.syntax.FolBeliefSet

All Implemented Interfaces:

Iterable<FolFormula>, Collection<FolFormula>, BeliefBase

public class FolBeliefSet
extends BeliefSet<FolFormula,FolSignature>

This class models a first-order knowledge base, i.e. a set of formulas in first-order logic.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
FolBeliefSet()	Creates a new and empty first-order knowledge base.
FolBeliefSet(Collection<FolFormula> formulas)	Creates a new first-order knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method	Description
FolSignature	getMinimalSignature()	Returns the signature of the language of this knowledge base.

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

FolBeliefSet

public FolBeliefSet()

Creates a new and empty first-order knowledge base.

FolBeliefSet

public FolBeliefSet(Collection<FolFormula> formulas)

Creates a new first-order knowledge base with the given set of formulas.

Parameters:

formulas - the formulas

Method Details

getMinimalSignature

public FolSignature getMinimalSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Returns:

the signature of the language of this knowledge base.