Uses of Class
net.sf.tweety.logics.fol.syntax.FolSignature

Packages that use FolSignature

Package	Description
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax

Uses of FolSignature in net.sf.tweety.logics.fol.parser

Methods in net.sf.tweety.logics.fol.parser that return FolSignature

Modifier and Type	Method and Description
FolSignature	FolParser.getSignature() Returns the signature of this parser.

Methods in net.sf.tweety.logics.fol.parser with parameters of type FolSignature

Modifier and Type	Method and Description
FOLAtom	FolParserB.atom(FolSignature signature)
void	FolParserB.declar(FolSignature signature)
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure	FolParserB.endFunctorDeclar(FolSignature signature, String sortName)
net.sf.tweety.logics.commons.syntax.interfaces.TypedStructure	FolParserB.endPredicateDeclar(FolSignature signature, String name)
FolFormula	FolParserB.formula(FolSignature signature)
net.sf.tweety.commons.util.Pair<Integer,FolFormula>	FolParserB.formulaex(FolSignature signature)
void	FolParser.parseSortDeclaration(String s, FolSignature sig) Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
void	FolParser.parseTypeDeclaration(String s, FolSignature sig) Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" and modifies the given signature accordingly.
void	FolParser.setSignature(FolSignature signature) Sets the signature for this parser.
net.sf.tweety.logics.commons.syntax.interfaces.Term<?>	FolParserB.term(FolSignature signature, net.sf.tweety.logics.commons.syntax.Sort type)

Uses of FolSignature in net.sf.tweety.logics.fol.semantics

Constructors in net.sf.tweety.logics.fol.semantics with parameters of type FolSignature

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

Uses of FolSignature in net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return FolSignature

Modifier and Type	Method and Description
FolSignature	FolFormula.getSignature()