Uses of Class net.sf.tweety.logics.fol.syntax.FolAtom (Tweety (FOL) 1.17 API)

Packages that use FolAtom
Package Description

net.sf.tweety.logics.fol.semantics

net.sf.tweety.logics.fol.syntax

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	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	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	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	Description
`Set<FolAtom>`	AssociativeFolFormula.`getAtoms()`
`Set<FolAtom>`	ExistsQuantifiedFormula.`getAtoms()`
`Set<FolAtom>`	FolAtom.`getAtoms()`
`Set<FolAtom>`	ForallQuantifiedFormula.`getAtoms()`
`Set<FolAtom>`	Negation.`getAtoms()`
`Set<FolAtom>`	SpecialFormula.`getAtoms()`

Constructors in net.sf.tweety.logics.fol.syntax with parameters of type FolAtom
Constructor	Description
`FolAtom(FolAtom other)`