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

Class BinaryDisunifier

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.BinaryDisunifier

All Implemented Interfaces:

Premise

public class BinaryDisunifier
extends Object
implements Premise

This premise explicitly disallows the unification of two terms and is represented by the operator !=. For example, if X!=a, then the variable X cannot be unified with the constant a.

Constructor Summary

Constructors

Constructor	Description
BinaryDisunifier(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

BinaryDisunifier

public BinaryDisunifier(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