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

Packages that use FOLAtom

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

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

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

Modifier and Type	Method and Description
FOLAtom	FolParserB.atom(FolSignature signature)

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

Methods in net.sf.tweety.logics.fol.semantics that return types with arguments of type FOLAtom

Modifier and Type	Method and Description
Set<FOLAtom>	HerbrandBase.getAtoms() Returns all atoms of this Herbrand base.

Constructor parameters in net.sf.tweety.logics.fol.semantics with type arguments of type FOLAtom

Constructor and Description
HerbrandInterpretation(Collection<? extends FOLAtom> atoms) Creates a new Herbrand interpretation with the given set of atoms

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

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

Modifier and Type	Method and Description
FOLAtom	FOLAtom.clone()
FOLAtom	FOLAtom.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type FOLAtom

Modifier and Type	Method and Description
Set<FOLAtom>	SpecialFormula.getAtoms()
Set<FOLAtom>	AssociativeFOLFormula.getAtoms()
Set<FOLAtom>	ForallQuantifiedFormula.getAtoms()
Set<FOLAtom>	ExistsQuantifiedFormula.getAtoms()
Set<FOLAtom>	FOLAtom.getAtoms()
Set<FOLAtom>	Negation.getAtoms()

Constructors in net.sf.tweety.logics.fol.syntax with parameters of type FOLAtom

Constructor and Description
FOLAtom(FOLAtom other)