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

Packages that use Constant

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 Constant in edu.harvard.seas.pl.abcdatalog.ast

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

Modifier and Type	Method	Description
static Constant	Constant.create(String name)	Returns a constant with the given string identifier.

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

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

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

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

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

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

Methods in edu.harvard.seas.pl.abcdatalog.util.substitution that return Constant

Modifier and Type	Method	Description
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.

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

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)
void	SimpleConstSubstitution.put(Variable v, Constant c)	Adds a mapping from a variable to a constant to this substitution.