ponderToolkit.analyzer.priorities.node
Class AMinusDomainOp

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

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class AMinusDomainOp

extends PDomainOp

Constructor Summary

AMinusDomainOp()

AMinusDomainOp(TMinus _minus_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TMinus	getMinus()
void	setMinus(TMinus node)
java.lang.String	toString()

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

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AMinusDomainOp

public AMinusDomainOp()

AMinusDomainOp

public AMinusDomainOp(TMinus _minus_)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Node

apply

public void apply(Switch sw)

getMinus

public TMinus getMinus()

setMinus

public void setMinus(TMinus node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object