Module ivc::expr_eval

Structs

• GenericEvalEnv
  Minimal environment needed for evaluating constraints.
• GenericVecStructure
  Generic structure containing column vectors.

Type Definitions

• SimpleEvalEnv