JSim.plan

Class BCBlock

java.lang.Object

JSim.plan.SeqBlock

JSim.plan.MuBlock

JSim.plan.BCBlock

All Implemented Interfaces:

SeqItem

public class BCBlock
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
BCBlock(PDEBlock parent, TSubDom subdom)

Method Summary

Modifier and Type	Method and Description
TSubDom	subdom()
java.lang.String	toString()

Methods inherited from class JSim.plan.MuBlock

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

Methods inherited from class JSim.plan.SeqBlock

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BCBlock

public BCBlock(PDEBlock parent,
               TSubDom subdom)
        throws Xcept

Throws:

Xcept

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class SeqBlock

subdom

public TSubDom subdom()