Package jline.solvers.jmt

Class SolverJMT.EventInfo

java.lang.Object

jline.solvers.jmt.SolverJMT.EventInfo

Enclosing class:

SolverJMT

public static class SolverJMT.EventInfo
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	jobclass
int	node
double	t

Constructor Summary

Constructors

Constructor	Description
EventInfo()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

node

public int node

jobclass

public int jobclass

t

public double t

Constructor Details

EventInfo

public EventInfo()