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

Packages that use Premise

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.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.

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

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

Modifier and Type	Class	Description
class	BinaryDisunifier	This premise explicitly disallows the unification of two terms and is represented by the operator !=.
class	BinaryUnifier	This premise explicitly unifies two terms and is visually represented as the operator =.
class	NegatedAtom	A negated atom.
class	PositiveAtom	A non-negated atom; i.e., a predicate symbol, and a sequence of terms.

Fields in edu.harvard.seas.pl.abcdatalog.ast with type parameters of type Premise

Modifier and Type	Field	Description
protected final List<Premise>	Clause.body

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

Modifier and Type	Method	Description
Premise	BinaryDisunifier.applySubst(Substitution subst)
Premise	BinaryUnifier.applySubst(Substitution subst)
Premise	NegatedAtom.applySubst(Substitution subst)
Premise	Premise.applySubst(Substitution subst)

Methods in edu.harvard.seas.pl.abcdatalog.ast that return types with arguments of type Premise

Modifier and Type	Method	Description
List<Premise>	Clause.getBody()	Returns the body of this clause.

Constructor parameters in edu.harvard.seas.pl.abcdatalog.ast with type arguments of type Premise

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

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

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

Modifier and Type	Method	Description
PremiseVisitor<I,O>	PremiseVisitorBuilder.or(BiFunction<Premise,I,O> f)

Uses of Premise in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup that implement Premise

Modifier and Type	Class	Description
class	AnnotatedAtom	An annotated atom.

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return Premise

Modifier and Type	Method	Description
Premise	AnnotatedAtom.applySubst(Substitution subst)