joshua/hybrid-ads
1
Fork 0
mirror of https://github.com/Jaxan/hybrid-ads.git synced 2025-04-27 23:17:44 +02:00
Code Issues Releases Activity
78 commits 1 branch 0 tags 1.1 MiB
Commit graph

54 commits

Author SHA1 Message Date
Joshua Moerman
a70a2f6ac7 Some script I use to make statistical learning graphs 2015-09-25 16:37:28 +02:00
Joshua Moerman
00c1954eba Adds better (and more) command line option handling 2015-09-25 16:37:27 +02:00
Joshua Moerman
80c4fac8f1 Fixes build (of main.cpp) for gcc-4.8 2015-09-14 17:10:22 +02:00
Joshua Moerman
415689b04c Adds the two families of automata occurring in Hopcrofts paper 2015-07-30 16:33:15 +02:00
Joshua Moerman
01bc580081 Adds proper command line interface for the generator 2015-07-30 15:24:28 +02:00
Joshua Moerman
a1965365b6 Adds a simple random machine generator 2015-07-30 14:02:17 +02:00
Joshua Moerman
9a92ff7703 Sophisticates stats.cpp 2015-07-30 14:02:04 +02:00
Joshua Moerman
5c1c88976c Also adds seed to methods.cpp 2015-07-30 14:01:47 +02:00
Joshua Moerman
e3b512fe6d Adds an extra program option: the random seed (optional) 2015-07-28 16:37:10 +02:00
Joshua Moerman
a9e3fdfd1c Simplified the lca implementation (now without state) 2015-07-10 09:31:39 +02:00
Joshua Moerman
00ad4445f3 Makes it c++11 again (only for main). Hopefully compiles on VS 2013 again. 2015-05-22 15:52:03 +02:00
Joshua Moerman
da41dfec26 Adds expected length (in randomised phase) as option to main 2015-05-21 16:45:33 +02:00
Joshua Moerman
1856602e3c Reduces memory usage a bit by using smaller types. 2015-05-21 15:56:16 +02:00
Joshua Moerman
f5108ceb43 Refactors a bit 2015-05-21 14:13:04 +02:00
Joshua Moerman
1497315778 Fixes memory usage (part two). Introduces time complexity issue... 2015-05-21 10:12:03 +02:00
Joshua Moerman
713b5fb48c Merges the read_mealy files 2015-05-20 12:23:13 +02:00
Joshua Moerman
0ab23f5ec2 Moves test suite generation to separate files 2015-05-20 12:07:41 +02:00
Joshua Moerman
da393cc19f Adds plain txt support to the important executables 2015-05-20 10:22:19 +02:00
Joshua Moerman
8752cebcfa Adds code to calculate distance between automata relative to log 2015-05-13 17:53:36 +02:00
Joshua Moerman
7fcafba6e9 Refactor 2015-05-04 10:21:44 +02:00
Joshua Moerman
22208275fd Alters the splitting tree to be minimal (for the W-method) 2015-04-20 14:14:10 +02:00
Joshua Moerman
114ad8c8b7 Adds test suite size thingy 2015-04-20 10:09:07 +02:00
Joshua Moerman
69942cd683 generalised a bit and uses trie now 2015-04-17 18:35:27 +02:00
Joshua Moerman
b6033eec4c Adds some docs and a tool to create the dot files for splitting trees and ad. dist. seqs. 2015-04-17 16:08:26 +02:00
Joshua Moerman
5f827b2c1c Adds a Trie datastrucutre (to be used) 2015-04-14 11:55:20 +02:00
Joshua Moerman
2b600cca08 Fixes some warnings (and re-enables c++14) 2015-04-14 11:54:51 +02:00
Joshua Moerman
7817edbb90 Removes concurrency as std::future seems to be broken in VS 2013 2015-04-08 11:31:08 +02:00
Joshua Moerman
037646a16a Workaround for the mising constructor in VS 2013 2015-04-08 11:17:16 +02:00
Joshua Moerman
fd750e4abd Replaces auto return type with concrete types :( 2015-04-07 16:23:07 +02:00
Joshua Moerman
64b2331672 Fixes some warnings 2015-04-07 16:17:48 +02:00
Joshua Moerman
098f0e9bff Added restriction to reachable sub machine 2015-04-07 16:17:28 +02:00
Joshua Moerman
795b79e85d Replaces the poly-lambdas with typed lambdas :( 2015-04-07 09:02:06 +02:00
Joshua Moerman
598e72b880 Simplifies code by removing phantom typing. 
Also removes other unused tools.
 2015-04-07 08:50:18 +02:00
Joshua Moerman
3de4f29a87 Adds a file to determine reachability with a subalphabet (bug!) 2015-04-07 08:40:46 +02:00
Joshua Moerman
9d83501d69 Removes assert in favor of exceptions. Removes code I do not use. Bug fix. 2015-03-31 11:41:21 +02:00
Joshua Moerman
77695e8f22 Rewrites pre_gephi_tool to handle more hypotheses 2015-03-31 11:40:56 +02:00
Joshua Moerman
4253233358 Adds a independent alphabet-translation struct. Adds a thingy I needed for gephi 2015-03-19 17:26:29 +01:00
Joshua Moerman
5512b57c75 Adds randomization 2015-03-19 17:25:34 +01:00
Joshua Moerman
e4a7cf9933 Removes some duplicate words. Adds conformance to java interface. Adds randomization 2015-03-19 17:25:34 +01:00
Joshua Moerman
c4625bf775 Adds possibility to read stdin 2015-03-19 17:25:34 +01:00
Joshua Moerman
1c9f56a6ec Refactors a lot. Also implements a basic test suite. 2015-03-19 17:25:34 +01:00
Joshua Moerman
a7a7f815da Refactors the dist_seq to distinguishing_sequence 2015-03-19 17:25:33 +01:00
Joshua Moerman
4a2bc674cc Rewrites main to log runtimes, output checking seqs (compressed) 2015-03-19 17:25:33 +01:00
Joshua Moerman
30d1d0e5c5 Fixes a (major) bug (by cleaning up code) 2015-03-19 17:25:33 +01:00
Joshua Moerman
0c15269bbc Adds output of uios 2015-03-19 17:25:33 +01:00
Joshua Moerman
3a5d5cc551 Splits the main file in more files. 2015-03-19 17:25:33 +01:00
Joshua Moerman
7f923a4c1c Adds the construction of a splitting tree 2015-03-19 17:25:33 +01:00
Joshua Moerman
f4f5f5713f Restructures partition-API. Adds LY-validity check. 2015-03-19 17:25:33 +01:00
Joshua Moerman
556abfa569 Moves splitting tree to header and adds write to dot function 2015-03-19 17:25:33 +01:00
Joshua Moerman
f7fb5def0c Creates stronger types for states, inputs and outputs 2015-03-19 17:25:33 +01:00