de.stups.probkodkod.parser.node

Class AQuantInnerformula

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PInnerformula

de.stups.probkodkod.parser.node.AQuantInnerformula

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class AQuantInnerformula
extends PInnerformula

Constructor Summary

Constructors

Constructor and Description
AQuantInnerformula()
AQuantInnerformula(PQuantifier _quantifier_, TParenl _parenl_, PDecls _decls_, TParenr _parenr_, PFormula _formula_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PDecls	getDecls()
PFormula	getFormula()
TParenl	getParenl()
TParenr	getParenr()
PQuantifier	getQuantifier()
void	setDecls(PDecls node)
void	setFormula(PFormula node)
void	setParenl(TParenl node)
void	setParenr(TParenr node)
void	setQuantifier(PQuantifier node)
java.lang.String	toString()

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

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, wait, wait, wait

Constructor Detail

AQuantInnerformula

public AQuantInnerformula()

AQuantInnerformula

public AQuantInnerformula(PQuantifier _quantifier_,
                  TParenl _parenl_,
                  PDecls _decls_,
                  TParenr _parenr_,
                  PFormula _formula_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getQuantifier

public PQuantifier getQuantifier()

setQuantifier

public void setQuantifier(PQuantifier node)

getParenl

public TParenl getParenl()

setParenl

public void setParenl(TParenl node)

getDecls

public PDecls getDecls()

setDecls

public void setDecls(PDecls node)

getParenr

public TParenr getParenr()

setParenr

public void setParenr(TParenr node)

getFormula

public PFormula getFormula()

setFormula

public void setFormula(PFormula node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object