JSim.plan

Class ImplicitBound.VuFactor

java.lang.Object

JSim.plan.ImplicitBound.VuFactor

Enclosing class:

ImplicitBound

public static final class ImplicitBound.VuFactor
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
JSim.expr.RealConst	k
VarUsage	vu

Constructor Summary

Constructors

Constructor and Description
VuFactor(VarUsage vu, JSim.expr.RealConst k)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

vu

public VarUsage vu

k

public JSim.expr.RealConst k

Constructor Detail

VuFactor

public VuFactor(VarUsage vu,
                JSim.expr.RealConst k)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object