de.stups.probkodkod.parser.node

Class PTuple

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PTuple

All Implemented Interfaces:

Switchable, java.lang.Cloneable

Direct Known Subclasses:

ATuple

public abstract class PTuple
extends Node

Constructor Summary

Constructors

Constructor and Description
PTuple()

Method Summary

Methods inherited from class de.stups.probkodkod.parser.node.Node

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

Methods inherited from class de.hhu.stups.sablecc.patch.PositionedNode

getEndPos, getStartPos, setEndPos, setStartPos

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.stups.probkodkod.parser.node.Switchable

apply

Constructor Detail

PTuple

public PTuple()