net.sf.tweety.logics.fol.syntax

Class FolSignature

java.lang.Object

net.sf.tweety.commons.Signature

net.sf.tweety.logics.fol.syntax.FolSignature

public class FolSignature
extends net.sf.tweety.commons.Signature

This class captures the signature of a specific first-order language.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
FolSignature() Creates an empty signature
FolSignature(boolean containsEquality) Creates an empty signature or an otherwise empty signature with equality.
FolSignature(Collection<?> c) Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas).
FolSignature(Collection<?> c, boolean containsEquality) Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas) and, if desired, equality.

Method Summary

Modifier and Type	Method and Description
void	add(Object obj) Adds the given object, either a constant, a sort, a predicate, or a functor, to this signature.
void	addAll(Collection<?> c) Adds items of the given collection to this signature.
void	addSignature(net.sf.tweety.commons.Signature other)
boolean	containsConstant(String s)
boolean	containsFunctor(String s)
boolean	containsPredicate(String s)
boolean	containsSort(String s)
boolean	equals(Object obj)
net.sf.tweety.logics.commons.syntax.Constant	getConstant(String s)
Set<net.sf.tweety.logics.commons.syntax.Constant>	getConstants()
net.sf.tweety.logics.commons.syntax.Functor	getFunctor(String s)
Set<net.sf.tweety.logics.commons.syntax.Functor>	getFunctors()
net.sf.tweety.logics.commons.syntax.Predicate	getPredicate(String s)
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
net.sf.tweety.logics.commons.syntax.Sort	getSort(String s)
Set<net.sf.tweety.logics.commons.syntax.Sort>	getSorts()
int	hashCode()
boolean	isOverlappingSignature(net.sf.tweety.commons.Signature other)
boolean	isRepresentable(FolFormula folFormula) Checks whether the given formula can be represented by this signature.
boolean	isSubSignature(net.sf.tweety.commons.Signature other)
String	toString() Returns a string representation of the first-order logic signature.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FolSignature

public FolSignature()

Creates an empty signature

FolSignature

public FolSignature(boolean containsEquality)

Creates an empty signature or an otherwise empty signature with equality.

Parameters:

containsEquality - if true, the equality predicate is added to the signature

FolSignature

public FolSignature(Collection<?> c)
             throws IllegalArgumentException

Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas).

Parameters:

c - a collection of items to be added.

Throws:

IllegalArgumentException - if at least one of the given objects is neither a constant, a sort, a predicate, a functor, or a formula.

FolSignature

public FolSignature(Collection<?> c,
                    boolean containsEquality)
             throws IllegalArgumentException

Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas) and, if desired, equality.

Parameters:

c - a collection of items to be added.

containsEquality - if true, the equality predicate is added to the signature

Throws:

IllegalArgumentException - if at least one of the given objects is neither a constant, a sort, a predicate, a functor, or a formula.

Method Detail

isSubSignature

public boolean isSubSignature(net.sf.tweety.commons.Signature other)

Specified by:

isSubSignature in class net.sf.tweety.commons.Signature

isOverlappingSignature

public boolean isOverlappingSignature(net.sf.tweety.commons.Signature other)

Specified by:

isOverlappingSignature in class net.sf.tweety.commons.Signature

add

public void add(Object obj)
         throws IllegalArgumentException

Adds the given object, either a constant, a sort, a predicate, or a functor, to this signature. If a constant is added its sort is added as well, the same is for any sort mentioned in predicates and functors. Alternatively, you can pass over a formula, then all predicates, sorts, constants, and functors of this formula are added to the signature.

Parameters:

obj - the object to be added, either a constant, a sort, a predicate, a functor, or a formula.

Throws:

IllegalArgumentException - if the given object is neither a constant, a sort, a predicate, a functor, or a formula.

addAll

public void addAll(Collection<?> c)
            throws IllegalArgumentException

Adds items of the given collection to this signature. These should be either constants, sorts, predicates, or functors. Alternatively, you can pass over formulas, then all predicates, sorts, constants, and functors of this formula are added t the signature.

Parameters:

c - the collection of items to be added

Throws:

IllegalArgumentException - if at least one of the given objects is neither a constant, a sort, a predicate, a functor, or a formula.

isRepresentable

public boolean isRepresentable(FolFormula folFormula)

Checks whether the given formula can be represented by this signature.

Parameters:

folFormula - A formula to be checked.

Returns:

"true" if the given formula is representable, "false" otherwise.

getConstants

public Set<net.sf.tweety.logics.commons.syntax.Constant> getConstants()

getPredicates

public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

getFunctors

public Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()

getSorts

public Set<net.sf.tweety.logics.commons.syntax.Sort> getSorts()

getConstant

public net.sf.tweety.logics.commons.syntax.Constant getConstant(String s)

getPredicate

public net.sf.tweety.logics.commons.syntax.Predicate getPredicate(String s)

getFunctor

public net.sf.tweety.logics.commons.syntax.Functor getFunctor(String s)

getSort

public net.sf.tweety.logics.commons.syntax.Sort getSort(String s)

containsConstant

public boolean containsConstant(String s)

containsPredicate

public boolean containsPredicate(String s)

containsFunctor

public boolean containsFunctor(String s)

containsSort

public boolean containsSort(String s)

hashCode

public int hashCode()

Specified by:

hashCode in class net.sf.tweety.commons.Signature

equals

public boolean equals(Object obj)

Specified by:

equals in class net.sf.tweety.commons.Signature

addSignature

public void addSignature(net.sf.tweety.commons.Signature other)

Specified by:

addSignature in class net.sf.tweety.commons.Signature

toString

public String toString()

Returns a string representation of the first-order logic signature.

Overrides:

toString in class Object

Returns:

a string consisting of the sorts with their constants followed by the predicates and functors of the signature.