JSim.plan

Class MuBlockSplitter

java.lang.Object

JSim.plan.MuBlockSplitter

public class MuBlockSplitter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MuBlockSplitter(MuBlock block)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

MuBlockSplitter

public MuBlockSplitter(MuBlock block)
                throws Xcept

Throws:

Xcept