+
Point of view
All features
class LOGIGRAM
- Direct parents
- Insert list: ANY
Features
{}
{}
{}
{}
- rule (cstr: CONSTRAINT)
- no (i: ITEM, j: ITEM): CONSTRAINT_NO
- yes (i: ITEM, j: ITEM): CONSTRAINT_YES
- eq (i: EXPR, j: EXPR): CONSTRAINT_EQUAL
- neq (i: EXPR, j: EXPR): CONSTRAINT_NOT_EQUAL
- inf (i: EXPR, j: EXPR): CONSTRAINT_LESSER
- sup (i: EXPR, j: EXPR): CONSTRAINT_GREATER
- add (i: EXPR, j: EXPR): EXPR_ADD
- sub (i: EXPR, j: EXPR): EXPR_SUB
- mul (i: EXPR, j: EXPR): EXPR_MUL
- abs (i: EXPR): EXPR_ABS
- num (i: INTEGER_32): EXPR_VALUE
- ref (i: ITEM): EXPR_ITEM
- item (group: STRING, name: STRING): ITEM_ITEM
- var (group: STRING, name: STRING): ITEM_VAR
- some (group: STRING): ITEM_VAR