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

Packages that use Variable

Package	Description
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.operations
edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.visitor
edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Uses of Variable in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain

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

Modifier and Type	Method	Description
Set<Variable>	TGD.getExistentialVariables()
Set<Variable>	TGD.getFrontierVariables()
Set<Variable>	Dependency.getUniversalVariables()

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

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

Modifier and Type	Method	Description
static Variable	NewFreshVariableFactory.createEnumeratedNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)
static Variable	NewFreshVariableFactory.createNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)

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

Modifier and Type	Method	Description
Set<Variable>	DerivationRule.getExistentialVariables()
Set<Variable>	DerivationRule.getUniversalVariables()
Set<Variable>	ImmutableLiteralsList.getUsedVariables()
Set<Variable>	ImmutableTermList.getUsedVariables()
Set<Variable>	Literal.getUsedVariables()
Set<Variable>	Atom.getVariables()
Set<Variable>	ImmutableLiteralsList.getVariablesInBuiltInLiterals()
Set<Variable>	ImmutableLiteralsList.getVariablesInNegativeOrdinaryLiterals()
Set<Variable>	ImmutableLiteralsList.getVariablesInPositiveOrdinaryLiterals()

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

Modifier and Type	Method	Description
Set<LiteralPosition>	ImmutableLiteralsList.getLiteralPositionWithVariable(Variable variable)
Set<PredicatePosition>	ImmutableAtomList.getPredicatePositionsWithVar(Variable variable)
Set<PredicatePosition>	ImmutableLiteralsList.getPredicatePositionsWithVar(Variable variable)

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

Modifier and Type	Method	Description
static Variable	NewFreshVariableFactory.createEnumeratedNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)
static Variable	NewFreshVariableFactory.createNewFreshVariable(String variableNamePrefix, Set<Variable> usedVariables)

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

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

Modifier and Type	Method	Description
Set<Variable>	Substitution.getUsedVariables()

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

Modifier and Type	Method	Description
void	Substitution.addMapping(Variable domainVariable, Term rangeTerm)	Include in this substitution a new mapping from the domainVariable to the rangeTerm If such mapping already exists, it throws a SubstitutionException if the rangeTerm is different compared to the current image of the domainVariable
Optional<Term>	Substitution.getTerm(Variable variable)

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

Modifier and Type	Method	Description
boolean	Substitution.replacesSomeVariableOf(Set<Variable> variables)

Uses of Variable 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 Variable

Modifier and Type	Method	Description
T	LogicSchemaVisitor.visit(Variable variable)

Uses of Variable 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 Variable

Modifier and Type	Method	Description
String	LogicSchemaPrinter.visit(Variable variable)