Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
ix.iview.ConstraintEditor

Packages that use ConstraintEditor
ix.iview | Viewers.

Uses of ConstraintEditor in ix.iview

Subclasses of ConstraintEditor in ix.iview
`class` | `ConditionEffectEditor` An editor for specifying conditions and effects in refinements.
`class` | `DeclarationEditor` An editor for specifying variable declarations Declarations are attached to self (the refinement).
`class` | `DefaultConstraintEditor` An editor for specifying generic constraints in refinements.
`class` | `ObjectConstraintEditor` An editor for specifying (world-state) constraints on objects in refinements.
`class` | `OrderingEditor` An editor for specifying temporal relations between time points in refinements.
`class` | `SimpleDeclarationEditor` An editor for specifying variable declarations Declarations are attached to self (the refinement).
`class` | `SpecEditor` A simple text-input editor for entering specifications, e.g. for nodes and issues.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES