JSim.plan

Class PDEBlock

java.lang.Object

JSim.plan.SeqBlock

JSim.plan.MuBlock

JSim.plan.PDEBlock

All Implemented Interfaces:

SeqItem

public class PDEBlock
extends MuBlock

Nested Class Summary

Nested classes/interfaces inherited from class JSim.plan.SeqBlock

SeqBlock.Loop

Field Summary

Fields inherited from class JSim.plan.MuBlock

ENABLE_SPLIT_BLOCKS

Constructor Summary

Constructors

Constructor and Description
PDEBlock(SeqBlock parent, DETool detool, java.util.Hashtable<VarUsage,Tool> vuTools)

Method Summary

Modifier and Type	Method and Description
BCBlock	bcblock(JSim.mml.Domain x, boolean left)
PDEFactors	factors(int i)
DomainSet	loopDomains()
boolean	matches(DETool detool)
int	nsolvers()
int	nx()
java.lang.String	solverMsg(int id)
java.lang.String	solverName(int id)
PDEBlock[]	splitBlocks()
JSim.mml.Domain	t()
java.lang.String	toString()
DomainSet	xs()

Methods inherited from class JSim.plan.MuBlock

box, detools, log, muDoms, title, vmus, vstate

Methods inherited from class JSim.plan.SeqBlock

add, dump, dump, dump, dumpPDE, items, model, nodeString, plan, seqLoops, size, vreqs

Methods inherited from class java.lang.Object

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

Constructor Detail

PDEBlock

public PDEBlock(SeqBlock parent,
                DETool detool,
                java.util.Hashtable<VarUsage,Tool> vuTools)
         throws Xcept

Throws:

Xcept

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class SeqBlock

matches

public boolean matches(DETool detool)

Overrides:

matches in class MuBlock

t

public JSim.mml.Domain t()

Specified by:

t in interface SeqItem

Overrides:

t in class SeqBlock

xs

public DomainSet xs()

nx

public int nx()

nsolvers

public int nsolvers()

solverName

public java.lang.String solverName(int id)

solverMsg

public java.lang.String solverMsg(int id)

factors

public PDEFactors factors(int i)

bcblock

public BCBlock bcblock(JSim.mml.Domain x,
                       boolean left)

loopDomains

public DomainSet loopDomains()
                      throws Xcept

Throws:

Xcept

splitBlocks

public PDEBlock[] splitBlocks()