harpoon.Analysis.PA2
Class NodeSetVar

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

Direct Known Subclasses:

EVar, FVar, LVar

public abstract class NodeSetVar
extends jpaul.Constraints.Var

NodeSetVar

Version:

$Id: NodeSetVar.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

NodeSetVar()

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

NodeSetVar

public NodeSetVar()

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