Package edu.harvard.seas.pl.abcdatalog.ast

Class BinaryUnifier

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.BinaryUnifier

All Implemented Interfaces:

Premise

public class BinaryUnifier
extends Object
implements Premise

This premise explicitly unifies two terms and is visually represented as the operator =. For example, if X=a, then the variable X is bound to the constant a.

Constructor Summary

Constructors

Constructor	Description
BinaryUnifier(Term left, Term right)

Method Summary

Modifier and Type	Method	Description
<I, O> O	accept(PremiseVisitor<I,O> visitor, I state)
Premise	applySubst(Substitution subst)
Iterable<Term>	getArgsIterable()
Term	getLeft()
Term	getRight()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

BinaryUnifier

public BinaryUnifier(Term left,
 Term right)

Method Details

getLeft

public Term getLeft()

getRight

public Term getRight()

getArgsIterable

public Iterable<Term> getArgsIterable()

accept

public <I,
O> O accept(PremiseVisitor<I,O> visitor,
 I state)

Specified by:

accept in interface Premise

toString

public String toString()

Overrides:

toString in class Object

applySubst

public Premise applySubst(Substitution subst)

Specified by:

applySubst in interface Premise