EqClassFuns
Namespace: global
Parent Module: HelperTypes
Functions and values
| Function or value | Description |
add arg1 arg2
Signature: StateFromFsa -> EqClass -> EqClass
|
|
contains v arg2
Signature: v:int -> EqClass -> bool
|
|
empty
Signature: EqClass
|
|
fsa1States arg1
Signature: EqClass -> Set<int>
|
|
fsa2States arg1
Signature: EqClass -> Set<int>
|
|
