Package jline.solvers.fluid.petri

Class PetriApplicable.Verdict

java.lang.Object

jline.solvers.fluid.petri.PetriApplicable.Verdict

Enclosing class:

PetriApplicable

public static final class PetriApplicable.Verdict
extends Object

The verdict and, when negative, the element that decides it.

Field Summary

Fields

Modifier and Type	Field	Description
final boolean	ok
final String	reason

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

ok

public final boolean ok

reason

public final String reason