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

Packages that use FolAtom

Package	Description
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature
net.sf.tweety.action.transitionsystem
net.sf.tweety.arg.delp.parser
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.syntax
net.sf.tweety.logics.mln.syntax
net.sf.tweety.logics.rcl.syntax
net.sf.tweety.logics.rdl.syntax
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.logics.translators.folprop
net.sf.tweety.lp.asp.syntax
net.sf.tweety.lp.nlp.syntax

Uses of FolAtom in net.sf.tweety.action.description.syntax

Methods in net.sf.tweety.action.description.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
abstract java.util.Set<FolAtom>	CLaw.getAtoms()	Returns the set of propositions in all formulas in this law.
java.util.Set<FolAtom>	DynamicLaw.getAtoms()
java.util.Set<FolAtom>	StaticLaw.getAtoms()

Uses of FolAtom in net.sf.tweety.action.query.syntax

Methods in net.sf.tweety.action.query.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	SActionQuery.getInnerAtoms()	Returns all inner atoms, which occur in state formulas and actions in this action query.

Uses of FolAtom in net.sf.tweety.action.signature

Methods in net.sf.tweety.action.signature that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	ActionSignature.getAllGroundedActionNameAtoms()	Returns the set of all possible grounded atoms in this signature on the basis of all action name predicates contained.
java.util.Set<FolAtom>	ActionSignature.getAllGroundedFluentAtoms()	Returns the set of all possible grounded atoms in this signature on the basis of all fluent predicates contained.
java.util.Set<FolAtom>	FolAction.getAtoms()	Returns all atoms, e.g.
java.util.Iterator<FolAtom>	FolAction.iterator()

Constructor parameters in net.sf.tweety.action.signature with type arguments of type FolAtom

Constructor	Description
FolAction(java.util.Set<FolAtom> actionNames)	Creates a new action, which maps the given action names to true, and every thing else to false.

Uses of FolAtom in net.sf.tweety.action.transitionsystem

Methods in net.sf.tweety.action.transitionsystem that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	State.getPositiveFluents()	Returns the set of fluent atoms that are mapped to true by this state.

Methods in net.sf.tweety.action.transitionsystem with parameters of type FolAtom

Modifier and Type	Method	Description
boolean	TransitionSystem.getValue(FolAtom fluent, State state)	Returns the value of a fluent in a state in this transition system.
boolean	State.isMappedToTrue(FolAtom fluent)	Returns true iff the fluent given is mapped to true by this state.

Method parameters in net.sf.tweety.action.transitionsystem with type arguments of type FolAtom

Modifier and Type	Method	Description
State	TransitionSystem.addState(java.util.Set<FolAtom> fluents)	Creates a new state and adds it to this transition system.
State	TransitionSystem.getState(java.util.Set<FolAtom> fluents)	Returns the state that maps the given fluents to true, if it exists, otherwise null.

Constructor parameters in net.sf.tweety.action.transitionsystem with type arguments of type FolAtom

Constructor	Description
State(java.util.Set<FolAtom> fluents)	Creates a new State with a set of fluents that are mapped to true.

Uses of FolAtom in net.sf.tweety.arg.delp.parser

Methods in net.sf.tweety.arg.delp.parser that return FolAtom

Modifier and Type	Method	Description
FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)

Uses of FolAtom in net.sf.tweety.arg.delp.syntax

Methods in net.sf.tweety.arg.delp.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	DelpRule.getAtoms()

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
java.util.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(java.util.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(Term<?> v, Term<?> t)

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

Modifier and Type	Method	Description
java.util.Set<FolAtom>	AssociativeFolFormula.getAtoms()
java.util.Set<FolAtom>	ExistsQuantifiedFormula.getAtoms()
java.util.Set<FolAtom>	FolAtom.getAtoms()
java.util.Set<FolAtom>	ForallQuantifiedFormula.getAtoms()
java.util.Set<FolAtom>	Negation.getAtoms()
java.util.Set<FolAtom>	SpecialFormula.getAtoms()

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

Constructor	Description
FolAtom(FolAtom other)

Uses of FolAtom in net.sf.tweety.logics.ml.semantics

Methods in net.sf.tweety.logics.ml.semantics that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	MlHerbrandBase.getAtoms()	Returns all atoms of this Herbrand base.

Constructor parameters in net.sf.tweety.logics.ml.semantics with type arguments of type FolAtom

Constructor	Description
MlHerbrandInterpretation(java.util.Collection<? extends FolAtom> atoms)	Creates a new Herbrand interpretation with the given set of atoms

Uses of FolAtom in net.sf.tweety.logics.ml.syntax

Methods in net.sf.tweety.logics.ml.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	MlFormula.getAtoms()

Uses of FolAtom in net.sf.tweety.logics.mln.syntax

Methods in net.sf.tweety.logics.mln.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	MlnFormula.getAtoms()

Uses of FolAtom in net.sf.tweety.logics.rcl.syntax

Methods in net.sf.tweety.logics.rcl.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	RelationalConditional.getAtoms()

Uses of FolAtom in net.sf.tweety.logics.rdl.syntax

Methods in net.sf.tweety.logics.rdl.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	DefaultRule.getAtoms()

Uses of FolAtom in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser that return FolAtom

Modifier and Type	Method	Description
static FolAtom	RpclProbabilityDistributionParser.GroundAtom(FolSignature signature)

Uses of FolAtom in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol that return FolAtom

Modifier and Type	Method	Description
FolAtom	AspFolTranslator.toFOL(ASPAtom source)

Methods in net.sf.tweety.logics.translators.aspfol with parameters of type FolAtom

Modifier and Type	Method	Description
ASPAtom	AspFolTranslator.toASP(FolAtom source)

Uses of FolAtom in net.sf.tweety.logics.translators.folprop

Methods in net.sf.tweety.logics.translators.folprop that return FolAtom

Modifier and Type	Method	Description
FolAtom	FOLPropTranslator.toFOL(Proposition proposition)	Translates the given proposition into a FOL-Atom

Methods in net.sf.tweety.logics.translators.folprop with parameters of type FolAtom

Modifier and Type	Method	Description
Proposition	FOLPropTranslator.toPropositional(FolAtom atom)	Translates the given FOL-Atom into a Proposition

Uses of FolAtom in net.sf.tweety.lp.asp.syntax

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type FolAtom

Constructor	Description
ASPAtom(FolAtom other)	Copy-Constructor: Generates a deep copy of the given FOL atom.

Uses of FolAtom in net.sf.tweety.lp.nlp.syntax

Methods in net.sf.tweety.lp.nlp.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
java.util.Set<FolAtom>	NLPNot.getAtoms()
java.util.Set<FolAtom>	NLPRule.getAtoms()