JSim.data

Class MoptData.Info

java.lang.Object

JSim.data.MoptData.Info

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

MoptData

public static class MoptData.Info
extends java.lang.Object
implements java.io.Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Info(MoptData mopt)
Info(MoptData mopt, boolean[] prevDone)

Method Summary

Modifier and Type	Method and Description
MoptData	mopt()
int	nresults()

Methods inherited from class java.lang.Object

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

Constructor Detail

Info

public Info(MoptData mopt)
     throws Xcept

Throws:

Xcept

Info

public Info(MoptData mopt,
            boolean[] prevDone)
     throws Xcept

Throws:

Xcept

Method Detail

mopt

public MoptData mopt()
              throws Xcept

Throws:

Xcept

nresults

public int nresults()