twaalgos - OpenGrok cross reference for /dports/math/py-spot/spot-2.10.2/spot/twaalgos/

Name		Date	Size	#Lines	LOC
..		03-Dec-2021	-
gtec/	H	03-Dec-2021	-	3,055	2,282
Makefile.am	H A D	03-Dec-2021	3.4 KiB	178	150
Makefile.in	H A D	03-Dec-2021	72.5 KiB	2,074	1,975
aiger.cc	H A D	03-Dec-2021	69.4 KiB	2,144	1,735
aiger.hh	H A D	03-Dec-2021	20.2 KiB	530	233
alternation.cc	H A D	03-Dec-2021	23 KiB	754	610
alternation.hh	H A D	03-Dec-2021	5.5 KiB	171	80
are_isomorphic.cc	H A D	03-Dec-2021	5.1 KiB	172	130
are_isomorphic.hh	H A D	03-Dec-2021	2.1 KiB	61	20
bfssteps.cc	H A D	03-Dec-2021	3.1 KiB	114	71
bfssteps.hh	H A D	03-Dec-2021	4.1 KiB	103	22
canonicalize.cc	H A D	03-Dec-2021	3.3 KiB	114	80
canonicalize.hh	H A D	03-Dec-2021	1 KiB	31	6
cleanacc.cc	H A D	03-Dec-2021	23.6 KiB	673	527
cleanacc.hh	H A D	03-Dec-2021	2.7 KiB	75	13
cobuchi.cc	H A D	03-Dec-2021	24.7 KiB	702	536
cobuchi.hh	H A D	03-Dec-2021	4.9 KiB	133	40
complement.cc	H A D	03-Dec-2021	16.3 KiB	540	398
complement.hh	H A D	03-Dec-2021	3 KiB	83	14
complete.cc	H A D	03-Dec-2021	6.4 KiB	179	97
complete.hh	H A D	03-Dec-2021	1.2 KiB	37	7
compsusp.cc	H A D	03-Dec-2021	10.9 KiB	354	271
compsusp.hh	H A D	03-Dec-2021	2.2 KiB	55	11
contains.cc	H A D	03-Dec-2021	2.5 KiB	86	50
contains.hh	H A D	03-Dec-2021	2.3 KiB	61	15
copy.hh	H A D	03-Dec-2021	1.5 KiB	43	13
couvreurnew.cc	H A D	03-Dec-2021	26.2 KiB	910	674
couvreurnew.hh	H A D	03-Dec-2021	1.8 KiB	50	14
cycles.cc	H A D	03-Dec-2021	4 KiB	167	117
cycles.hh	H A D	03-Dec-2021	5.7 KiB	153	47
degen.cc	H A D	03-Dec-2021	40.2 KiB	1,173	844
degen.hh	H A D	03-Dec-2021	7.7 KiB	182	36
determinize.cc	H A D	03-Dec-2021	30.4 KiB	1,002	791
determinize.hh	H A D	03-Dec-2021	4 KiB	93	14
dot.cc	H A D	03-Dec-2021	42.8 KiB	1,319	1,194
dot.hh	H A D	03-Dec-2021	2 KiB	53	14
dtbasat.cc	H A D	03-Dec-2021	34.1 KiB	1,035	855
dtbasat.hh	H A D	03-Dec-2021	4.3 KiB	105	28
dtwasat.cc	H A D	03-Dec-2021	53.2 KiB	1,557	1,285
dtwasat.hh	H A D	03-Dec-2021	6.3 KiB	148	45
dualize.cc	H A D	03-Dec-2021	13.1 KiB	388	276
dualize.hh	H A D	03-Dec-2021	2 KiB	50	8
emptiness.cc	H A D	03-Dec-2021	24.2 KiB	900	723
emptiness.hh	H A D	03-Dec-2021	16.8 KiB	484	134
emptiness_stats.hh	H A D	03-Dec-2021	5.1 KiB	213	145
game.cc	H A D	03-Dec-2021	40.1 KiB	1,185	862
game.hh	H A D	03-Dec-2021	6.3 KiB	203	65
genem.cc	H A D	03-Dec-2021	10 KiB	295	245
genem.hh	H A D	03-Dec-2021	4.1 KiB	108	26
gfguarantee.cc	H A D	03-Dec-2021	21 KiB	546	369
gfguarantee.hh	H A D	03-Dec-2021	4.1 KiB	100	22
gv04.cc	H A D	03-Dec-2021	12.4 KiB	421	328
gv04.hh	H A D	03-Dec-2021	1.5 KiB	42	9
hoa.cc	H A D	03-Dec-2021	25.2 KiB	787	681
hoa.hh	H A D	03-Dec-2021	1.6 KiB	45	11
iscolored.cc	H A D	03-Dec-2021	1 KiB	34	13
iscolored.hh	H A D	03-Dec-2021	1.1 KiB	34	7
isdet.cc	H A D	03-Dec-2021	9.5 KiB	343	302
isdet.hh	H A D	03-Dec-2021	5 KiB	142	29
isunamb.cc	H A D	03-Dec-2021	5.2 KiB	155	93
isunamb.hh	H A D	03-Dec-2021	1.5 KiB	46	9
isweakscc.cc	H A D	03-Dec-2021	3.3 KiB	115	81
isweakscc.hh	H A D	03-Dec-2021	2.3 KiB	71	15
langmap.cc	H A D	03-Dec-2021	3.1 KiB	105	70
langmap.hh	H A D	03-Dec-2021	1.5 KiB	44	10
lbtt.cc	H A D	03-Dec-2021	4.5 KiB	155	108
lbtt.hh	H A D	03-Dec-2021	1.5 KiB	41	9
ltl2taa.cc	H A D	03-Dec-2021	12.7 KiB	409	355
ltl2taa.hh	H A D	03-Dec-2021	1.4 KiB	40	9
ltl2tgba_fm.cc	H A D	03-Dec-2021	76.2 KiB	2,276	1,627
ltl2tgba_fm.hh	H A D	03-Dec-2021	3.9 KiB	92	18
magic.cc	H A D	03-Dec-2021	18 KiB	619	492
magic.hh	H A D	03-Dec-2021	4 KiB	123	16
mask.cc	H A D	03-Dec-2021	3.9 KiB	107	81
mask.hh	H A D	03-Dec-2021	7.9 KiB	221	118
mealy_machine.cc	H A D	03-Dec-2021	128.7 KiB	3,832	2,897
mealy_machine.hh	H A D	03-Dec-2021	5.1 KiB	131	31
minimize.cc	H A D	03-Dec-2021	22.3 KiB	702	507
minimize.hh	H A D	03-Dec-2021	6.2 KiB	139	19
ndfs_result.hxx	H A D	03-Dec-2021	21.4 KiB	670	546
neverclaim.cc	H A D	03-Dec-2021	6.1 KiB	220	182
neverclaim.hh	H A D	03-Dec-2021	1.8 KiB	46	11
parity.cc	H A D	03-Dec-2021	19.9 KiB	634	459
parity.hh	H A D	03-Dec-2021	5.5 KiB	160	38
postproc.cc	H A D	03-Dec-2021	23.5 KiB	716	563
postproc.hh	H A D	03-Dec-2021	10.7 KiB	275	98
powerset.cc	H A D	03-Dec-2021	15.2 KiB	507	355
powerset.hh	H A D	03-Dec-2021	5.8 KiB	174	66
product.cc	H A D	03-Dec-2021	27.6 KiB	717	607
product.hh	H A D	03-Dec-2021	9.1 KiB	210	40
randomgraph.cc	H A D	03-Dec-2021	7.5 KiB	252	177
randomgraph.hh	H A D	03-Dec-2021	3.7 KiB	81	15
randomize.cc	H A D	03-Dec-2021	2.6 KiB	80	57
randomize.hh	H A D	03-Dec-2021	1.2 KiB	38	9
reachiter.cc	H A D	03-Dec-2021	7.2 KiB	304	233
reachiter.hh	H A D	03-Dec-2021	6.9 KiB	198	74
relabel.cc	H A D	03-Dec-2021	3.2 KiB	100	67
relabel.hh	H A D	03-Dec-2021	1.2 KiB	37	8
remfin.cc	H A D	03-Dec-2021	30.1 KiB	870	647
remfin.hh	H A D	03-Dec-2021	3.5 KiB	87	13
remprop.cc	H A D	03-Dec-2021	4.9 KiB	178	148
remprop.hh	H A D	03-Dec-2021	1.2 KiB	44	20
sbacc.cc	H A D	03-Dec-2021	7.5 KiB	209	148
sbacc.hh	H A D	03-Dec-2021	2.2 KiB	54	6
sccfilter.cc	H A D	03-Dec-2021	17.7 KiB	538	414
sccfilter.hh	H A D	03-Dec-2021	3.9 KiB	96	19
sccinfo.cc	H A D	03-Dec-2021	30.2 KiB	896	703
sccinfo.hh	H A D	03-Dec-2021	27.1 KiB	905	596
se05.cc	H A D	03-Dec-2021	21.2 KiB	711	586
se05.hh	H A D	03-Dec-2021	4.1 KiB	128	15
sepsets.cc	H A D	03-Dec-2021	2.8 KiB	102	69
sepsets.hh	H A D	03-Dec-2021	1.3 KiB	39	9
simulation.cc	H A D	03-Dec-2021	50.5 KiB	1,568	1,073
simulation.hh	H A D	03-Dec-2021	7.8 KiB	206	40
split.cc	H A D	03-Dec-2021	2.6 KiB	81	50
split.hh	H A D	03-Dec-2021	1.3 KiB	35	6
stats.cc	H A D	03-Dec-2021	10.7 KiB	429	356
stats.hh	H A D	03-Dec-2021	3.7 KiB	139	81
strength.cc	H A D	03-Dec-2021	11.9 KiB	417	345
strength.hh	H A D	03-Dec-2021	7.6 KiB	195	32
stripacc.cc	H A D	03-Dec-2021	1.1 KiB	36	15
stripacc.hh	H A D	03-Dec-2021	1.2 KiB	35	7
stutter.cc	H A D	03-Dec-2021	30.9 KiB	1,052	867
stutter.hh	H A D	03-Dec-2021	9.3 KiB	244	49
sum.cc	H A D	03-Dec-2021	6.1 KiB	193	146
sum.hh	H A D	03-Dec-2021	3 KiB	79	22
synthesis.cc	H A D	03-Dec-2021	56.9 KiB	1,773	1,456
synthesis.hh	H A D	03-Dec-2021	7.8 KiB	238	102
tau03.cc	H A D	03-Dec-2021	11.8 KiB	393	319
tau03.hh	H A D	03-Dec-2021	2.5 KiB	84	9
tau03opt.cc	H A D	03-Dec-2021	19.1 KiB	574	472
tau03opt.hh	H A D	03-Dec-2021	3.5 KiB	105	10
toparity.cc	H A D	03-Dec-2021	60.1 KiB	1,869	1,572
toparity.hh	H A D	03-Dec-2021	7.2 KiB	160	31
totgba.cc	H A D	03-Dec-2021	35.3 KiB	1,053	811
totgba.hh	H A D	03-Dec-2021	4.6 KiB	112	20
toweak.cc	H A D	03-Dec-2021	7.3 KiB	229	180
toweak.hh	H A D	03-Dec-2021	1.9 KiB	49	8
translate.cc	H A D	03-Dec-2021	18.8 KiB	537	411
translate.hh	H A D	03-Dec-2021	4.8 KiB	164	80
word.cc	H A D	03-Dec-2021	7.6 KiB	280	215
word.hh	H A D	03-Dec-2021	4.3 KiB	134	39
zlktree.cc	H A D	03-Dec-2021	38.5 KiB	1,186	968
zlktree.hh	H A D	03-Dec-2021	15.2 KiB	441	191