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

Packages that use Variable
Package
Description
This packages contains classes representing the core abstract syntax tree for AbcDatalog.
This package contains classes that implement the visitor design pattern for visiting AST nodes.
This package contains classes that represents substitutions (i.e., mappings from variables to terms).