Uses of Class
org.tweetyproject.logics.fol.syntax.FolAtom

Packages that use FolAtom

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

Uses of FolAtom in org.tweetyproject.action.description.syntax

Methods in org.tweetyproject.action.description.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
abstract Set<FolAtom>	CLaw.getAtoms()	Retrieves the set of propositions (atoms) contained in all formulas within this law.
Set<FolAtom>	DynamicLaw.getAtoms()
Set<FolAtom>	StaticLaw.getAtoms()

Uses of FolAtom in org.tweetyproject.action.query.syntax

Methods in org.tweetyproject.action.query.syntax that return types with arguments of type FolAtom

Modifier and Type	Method	Description
Set<FolAtom>	SActionQuery.getInnerAtoms()	Retrieves all inner atoms that occur in state formulas and actions within this action query.

Uses of FolAtom in org.tweetyproject.action.signature

Classes in org.tweetyproject.action.signature that implement interfaces with type arguments of type FolAtom

Modifier and Type	Class	Description
class	FolAction	An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.

Methods in org.tweetyproject.action.signature that return types with arguments of type FolAtom

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

Constructor parameters in org.tweetyproject.action.signature with type arguments of type FolAtom

Modifier	Constructor	Description
	FolAction(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 org.tweetyproject.action.transitionsystem

Methods in org.tweetyproject.action.transitionsystem that return types with arguments of type FolAtom

Modifier and Type	Method	Description
Set<FolAtom>	State.getPositiveFluents()	Creates a set of fluent atoms

Methods in org.tweetyproject.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 org.tweetyproject.action.transitionsystem with type arguments of type FolAtom

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

Constructor parameters in org.tweetyproject.action.transitionsystem with type arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.arg.delp.parser

Methods in org.tweetyproject.arg.delp.parser that return FolAtom

Modifier and Type	Method	Description
final FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)	Parses an atom (predicate with optional terms) from the input.

Uses of FolAtom in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return types with arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.fol.semantics

Subclasses with type arguments of type FolAtom in org.tweetyproject.logics.fol.semantics

Modifier and Type	Class	Description
class	HerbrandInterpretation	A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.

Methods in org.tweetyproject.logics.fol.semantics that return types with arguments of type FolAtom

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

Constructor parameters in org.tweetyproject.logics.fol.semantics with type arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return FolAtom

Modifier and Type	Method	Description
FolAtom	FolAtom.clone()
FolAtom	FolAtom.substitute(Term<?> v, Term<?> t)

Methods in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax with parameters of type FolAtom

Modifier	Constructor	Description
	FolAtom(FolAtom other)	Constructor

Uses of FolAtom in org.tweetyproject.logics.ml.semantics

Subclasses with type arguments of type FolAtom in org.tweetyproject.logics.ml.semantics

Modifier and Type	Class	Description
class	MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.

Methods in org.tweetyproject.logics.ml.semantics that return types with arguments of type FolAtom

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

Constructor parameters in org.tweetyproject.logics.ml.semantics with type arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.logics.ml.syntax that return types with arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.logics.mln.syntax that return types with arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.logics.rcl.syntax that return types with arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type FolAtom

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

Uses of FolAtom in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that return FolAtom

Modifier and Type	Method	Description
static final FolAtom	RpclProbabilityDistributionParser.GroundAtom(FolSignature signature)	Parses and returns a ground atom (an atom where all terms are constants) from the input stream.

Uses of FolAtom in org.tweetyproject.logics.translators.aspfol

Methods in org.tweetyproject.logics.translators.aspfol that return FolAtom

Modifier and Type	Method	Description
FolAtom	AspFolTranslator.toFOL(ASPAtom source)	Translates an ASPAtom to its corresponding FolAtom.

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type FolAtom

Modifier and Type	Method	Description
ASPAtom	AspFolTranslator.toASP(FolAtom source)	Translates a FolAtom to its corresponding ASPAtom.

Uses of FolAtom in org.tweetyproject.logics.translators.folprop

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.syntax

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type FolAtom

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

Uses of FolAtom in org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.lp.nlp.syntax that return types with arguments of type FolAtom

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