ConjunctiveState¶
Open interactive ConjunctiveState diagram
Formalization for ConjunctiveState¶
| Property | Constraint |
|---|---|
| disjointWith | DisjunctiveState |
| subClassOf | NonTerminalState |
Open interactive ConjunctiveState diagram
| Property | Constraint |
|---|---|
| disjointWith | DisjunctiveState |
| subClassOf | NonTerminalState |