Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom

Packages that use Atom

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers

Method parameters in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.services.creation.spec.helpers with type arguments of type Atom

Modifier and Type	Method	Description
static HeadAtomsSpec	DependencySchemaToSpecHelper.buildHeadAtomsSpec(List<Atom> newHead)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return Atom

Modifier and Type	Method	Description
Atom	Atom.applySubstitution(Substitution substitution)
Atom	ImmutableAtomList.get(int index)
Atom	OrdinaryLiteral.getAtom()
Atom	DerivationRule.getHead()
Atom	ImmutableAtomList.remove(int index)
Atom	ImmutableAtomList.set(int index, Atom element)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain that return types with arguments of type Atom

Modifier and Type	Method	Description
Iterator<Atom>	ImmutableAtomList.iterator()
ListIterator<Atom>	ImmutableAtomList.listIterator()
ListIterator<Atom>	ImmutableAtomList.listIterator(int index)
List<Atom>	ImmutableAtomList.subList(int fromIndex, int toIndex)

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Atom

Modifier and Type	Method	Description
void	ImmutableAtomList.add(int index, Atom element)
boolean	ImmutableAtomList.add(Atom atom)
Atom	ImmutableAtomList.set(int index, Atom element)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Atom

Modifier and Type	Method	Description
boolean	ImmutableAtomList.addAll(int index, Collection<? extends Atom> c)
boolean	ImmutableAtomList.addAll(Collection<? extends Atom> c)

Constructors in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with parameters of type Atom

Modifier	Constructor	Description
protected	DerivationRule(Atom head, List<Literal> body)	DerivationRules should be created by their corresponding DerivedLiteral.
	ImmutableAtomList(Atom... atoms)
	OrdinaryLiteral(Atom atom)	Creates an ordinary literal with a positive sign
	OrdinaryLiteral(Atom atom, boolean isPositive)

Constructor parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain with type arguments of type Atom

Modifier	Constructor	Description
	ImmutableAtomList(List<Atom> atomList)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor with parameters of type Atom

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(Atom atom)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.services

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services with parameters of type Atom

Modifier and Type	Method	Description
static boolean	MGUFinder.areAtomsUnifiable(Atom... atoms)
static Optional<Substitution>	MGUFinder.getAtomsMGU(Atom... atoms)

Method parameters in edu.upc.fib.inlab.imp.kse.logics.logicschema.services with type arguments of type Atom

Modifier and Type	Method	Description
static boolean	MGUFinder.areAtomsUnifiable(List<Atom> atoms)
static Optional<Substitution>	MGUFinder.getAtomsMGU(Collection<Atom> atoms)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator with parameters of type Atom

Modifier and Type	Method	Description
protected Optional<Substitution>	HomomorphismFinder.computeHomomorphismExtensionForAtom(Substitution currentSubstitution, Atom domainAtom, Atom rangeAtom)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.helpers with parameters of type Atom

Modifier and Type	Method	Description
static DerivationRuleSpec	LogicSchemaToSpecHelper.buildDerivationRuleSpec(Atom head, ImmutableLiteralsList body)

Uses of Atom in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer with parameters of type Atom

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(Atom atom)