inCNF
Signature: Constraint
|
|
needAC
Signature: Constraint
|
|
noAlt
Signature: Constraint
|
|
noBrackets
Signature: Constraint
|
|
noConj
Signature: Constraint
|
|
noEbnf
Signature: Constraint
|
|
noInnerAlt
Signature: Constraint
|
|
noLiterals
Signature: Constraint
|
|
noMeta
Signature: Constraint
|
|
singleModule
Signature: Constraint
|
|