ponderToolkit.analyzer.priorities.node
Class PDomainOp

java.lang.Object
  |
  +--ponderToolkit.analyzer.priorities.node.Node
        |
        +--ponderToolkit.analyzer.priorities.node.PDomainOp

All Implemented Interfaces:

java.lang.Cloneable, Switchable

Direct Known Subclasses:

AIntersectDomainOp, AMinusDomainOp, APlusDomainOp

public abstract class PDomainOp

extends Node

Constructor Summary

PDomainOp()

Methods inherited from class ponderToolkit.analyzer.priorities.node.Node

clone, cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface ponderToolkit.analyzer.priorities.node.Switchable

apply

Constructor Detail

PDomainOp

public PDomainOp()