invt — setting an invariant set

Type:command Package:pHL-MT/0.9 — Hybrid Language (parallel Model Translator) Namespace:&core

Description

Defines invariants for the state variables as: “y need to be less or equal 3.2” or “x needs to be greater than 4*(y+1)”

Usage

invt { ... }

inequalities

see …

Examples

An example is:

invt { $y <= 3.2; $x > 4 * ($y + 1); }