Skip to contents

Value in an AnvlGraph. This is a mutable class.

Usage

GraphValue(aval)

Arguments

aval

(AbstractArray)
The abstract value of the variable.

Value

(GraphValue)