-
Notifications
You must be signed in to change notification settings - Fork 0
/
its.pxd
34 lines (30 loc) · 1.01 KB
/
its.pxd
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
from ddd cimport sdd, shom, Shom, SDD
from libcpp.string cimport string
from libcpp.pair cimport pair
from libcpp.list cimport list
from libcpp.vector cimport vector
cdef extern from "its/Type.hh" namespace "its" :
cdef cppclass Type :
ctypedef pair[string,Shom] namedTr_t
ctypedef list[namedTr_t] namedTrs_t
Shom observe (vector[string], SDD) const
ctypedef const Type* pType
cdef extern from "its/Instance.hh" namespace "its" :
cdef cppclass Instance :
pType getType()
cdef extern from "its/ITSModel.hh" namespace "its" :
cdef cppclass ITSModel :
ITSModel()
void getNamedLocals (Type.namedTrs_t &) const
SDD getInitialState()
SDD computeReachable(bint)
Shom getNextRel ()
Shom getPredRel ()
Instance* getInstance()
cdef class model :
cdef ITSModel i
cdef readonly str path, fmt
cpdef sdd initial (model self)
cpdef shom succ (model self)
cpdef shom pred (model self)
cpdef dict transitions (model self)