Uses of Class
edu.harvard.seas.pl.abcdatalog.ast.Variable

Packages that use Variable

Package	Description
edu.harvard.seas.pl.abcdatalog.ast	This packages contains classes representing the core abstract syntax tree for AbcDatalog.
edu.harvard.seas.pl.abcdatalog.ast.visitors	This package contains classes that implement the visitor design pattern for visiting AST nodes.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Uses of Variable in edu.harvard.seas.pl.abcdatalog.ast

Methods in edu.harvard.seas.pl.abcdatalog.ast that return Variable

Modifier and Type	Method	Description
static Variable	Variable.create(String name)	Returns a variable with the given string identifier.
static Variable	Variable.createFreshVariable()

Uses of Variable in edu.harvard.seas.pl.abcdatalog.ast.visitors

Methods in edu.harvard.seas.pl.abcdatalog.ast.visitors with parameters of type Variable

Modifier and Type	Method	Description
O	DefaultTermVisitor.visit(Variable t, I state)
O	TermVisitor.visit(Variable t, I state)

Method parameters in edu.harvard.seas.pl.abcdatalog.ast.visitors with type arguments of type Variable

Modifier and Type	Method	Description
TermVisitorBuilder<I,O>	TermVisitorBuilder.onVariable(BiFunction<Variable,I,O> f)

Uses of Variable in edu.harvard.seas.pl.abcdatalog.util.substitution

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution with parameters of type Variable

Modifier and Type	Method	Description
boolean	ClauseSubstitution.add(Variable x, Constant c)
boolean	ConstOnlySubstitution.add(Variable x, Constant c)	Attempts to add a mapping to the substitution.
boolean	SimpleConstSubstitution.add(Variable x, Constant c)
Constant	ClauseSubstitution.get(Variable x)
Constant	ConstOnlySubstitution.get(Variable x)	Retrieves the mapping of a variable.
Constant	SimpleConstSubstitution.get(Variable v)	Returns the constant a variable is mapped to in this substitution.
Term	Substitution.get(Variable x)	Retrieves the mapping of a variable.
Term	UnionFindBasedUnifier.get(Variable x)	Retrieves the mapping of a variable.
void	SimpleConstSubstitution.put(Variable v, Constant c)	Adds a mapping from a variable to a constant to this substitution.
void	UnionFindBasedUnifier.put(Variable v, Term t)	Adds a mapping from a variable to a term.
boolean	TermUnifier.unify(Variable u, Term v)	Attempts to unify a variable with a term.
boolean	UnionFindBasedUnifier.unify(Variable u, Term v)