Uses of Interface
edu.harvard.seas.pl.abcdatalog.ast.Head

Packages that use Head

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.

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

Classes in edu.harvard.seas.pl.abcdatalog.ast that implement Head

Modifier and Type	Class	Description
class	PositiveAtom	A non-negated atom; i.e., a predicate symbol, and a sequence of terms.

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

Modifier and Type	Method	Description
Head	Head.applySubst(Substitution subst)
Head	Clause.getHead()	Returns the head of this clause.

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

Modifier and Type	Method	Description
static PositiveAtom	HeadHelpers.forcePositiveAtom(Head head)

Constructors in edu.harvard.seas.pl.abcdatalog.ast with parameters of type Head

Modifier	Constructor	Description
	Clause(Head head, List<Premise> body)

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

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

Modifier and Type	Method	Description
HeadVisitor<I,O>	HeadVisitorBuilder.or(BiFunction<Head,I,O> f)