de.stups.probkodkod.parser.node

Class AProblem

java.lang.Object

de.hhu.stups.sablecc.patch.PositionedNode

de.stups.probkodkod.parser.node.Node

de.stups.probkodkod.parser.node.PProblem

de.stups.probkodkod.parser.node.AProblem

All Implemented Interfaces:

Switchable, java.lang.Cloneable

public final class AProblem
extends PProblem

Constructor Summary

Constructors

Constructor and Description
AProblem()
AProblem(TKeywordProblem _keywordProblem_, TIdentifier _id_, TNumber _timeout_, TParenl _tpl_, java.util.List<PType> _types_, TParenr _tpr_, TParenl _rpl_, java.util.List<PRelation> _relations_, TParenr _rpr_, PFormula _formula_)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(Switch sw)
java.lang.Object	clone()
PFormula	getFormula()
TIdentifier	getId()
TKeywordProblem	getKeywordProblem()
java.util.LinkedList<PRelation>	getRelations()
TParenl	getRpl()
TParenr	getRpr()
TNumber	getTimeout()
TParenl	getTpl()
TParenr	getTpr()
java.util.LinkedList<PType>	getTypes()
void	setFormula(PFormula node)
void	setId(TIdentifier node)
void	setKeywordProblem(TKeywordProblem node)
void	setRelations(java.util.List<PRelation> list)
void	setRpl(TParenl node)
void	setRpr(TParenr node)
void	setTimeout(TNumber node)
void	setTpl(TParenl node)
void	setTpr(TParenr node)
void	setTypes(java.util.List<PType> list)
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

AProblem

public AProblem()

AProblem

public AProblem(TKeywordProblem _keywordProblem_,
        TIdentifier _id_,
        TNumber _timeout_,
        TParenl _tpl_,
        java.util.List<PType> _types_,
        TParenr _tpr_,
        TParenl _rpl_,
        java.util.List<PRelation> _relations_,
        TParenr _rpr_,
        PFormula _formula_)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in class Node

apply

public void apply(Switch sw)

getKeywordProblem

public TKeywordProblem getKeywordProblem()

setKeywordProblem

public void setKeywordProblem(TKeywordProblem node)

getId

public TIdentifier getId()

setId

public void setId(TIdentifier node)

getTimeout

public TNumber getTimeout()

setTimeout

public void setTimeout(TNumber node)

getTpl

public TParenl getTpl()

setTpl

public void setTpl(TParenl node)

getTypes

public java.util.LinkedList<PType> getTypes()

setTypes

public void setTypes(java.util.List<PType> list)

getTpr

public TParenr getTpr()

setTpr

public void setTpr(TParenr node)

getRpl

public TParenl getRpl()

setRpl

public void setRpl(TParenl node)

getRelations

public java.util.LinkedList<PRelation> getRelations()

setRelations

public void setRelations(java.util.List<PRelation> list)

getRpr

public TParenr getRpr()

setRpr

public void setRpr(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