harpoon.Analysis.PA2
Class EdgeSetVar

java.lang.Object
  jpaul.Constraints.Var
      harpoon.Analysis.PA2.EdgeSetVar

Direct Known Subclasses:

IVar, OVar

public abstract class EdgeSetVar
extends jpaul.Constraints.Var

EdgeSetVar

Version:

$Id: EdgeSetVar.java,v 1.1 2005/08/10 02:58:19 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

Fields inherited from class jpaul.Constraints.Var

id

Constructor Summary

EdgeSetVar()

Method Summary

Object	copy(Object x)
boolean	join(Object x, Object y) Joins two values from the domain this variable takes values from.

Methods inherited from class jpaul.Constraints.Var

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

EdgeSetVar

public EdgeSetVar()

Method Detail

copy

public Object copy(Object x)

Specified by:

copy in class jpaul.Constraints.Var

join

public boolean join(Object x,
                    Object y)

Joins two values from the domain this variable takes values from.

Specified by:

join in class jpaul.Constraints.Var