ondrik-research-archived libsfta issues - Githubissues

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library

GNU General Public License v3.0

4 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Reimplement MTBDD library

#15 ondrik opened 13 years ago
0
Implement transducers

#14 ondrik opened 14 years ago
0
MTBDDTransitionFunction: disable sharing of transition table

#13 ondrik opened 14 years ago
0
OrderedVector: revise the code

#12 ondrik closed 14 years ago
0
CUDDFacade: Could renaming multiple variables be done in a single walk through the MTBDD?

#11 ondrik opened 14 years ago
0
CUDDSharedMTBDD: Means to carry out variable renaming and variable trimming

#10 ondrik closed 14 years ago
1
Implement word automata

#9 ondrik opened 14 years ago
0
DualMapLeafAllocator: use small object allocator for allocation of LeafDescriptors

#8 ondrik opened 14 years ago
0
MapLeafAllocator: implement reference counting for leaves

#7 ondrik opened 14 years ago
1
MapLeafAllocator: improve map to map^2^

#6 ondrik closed 14 years ago
1
CUDDSharedMTBDD: Implement monadic Apply that does not create new MTBDD

#5 ondrik opened 14 years ago
0
MTBDDTransitionFunction: enable user-defined variable numbering

#4 ondrik opened 14 years ago
3
CUDDFacade: Support for caching of Apply operations

#3 ondrik opened 14 years ago
1
CUDDSharedMTBDD: Implement release function for leaves

#2 ondrik opened 14 years ago
0
Take a look at CompactVariableAssignment

#1 ondrik closed 14 years ago
1