ast - OpenGrok cross reference for /dports/math/z3/z3-z3-4.8.13/src/ast/

Name		Date	Size	#Lines	LOC
..		03-May-2022	-
euf/	H	03-May-2022	-	2,296	1,849
fpa/	H	03-May-2022	-	5,784	4,531
macros/	H	03-May-2022	-	2,740	1,996
normal_forms/	H	03-May-2022	-	2,247	1,570
pattern/	H	03-May-2022	-	1,959	1,623
proofs/	H	03-May-2022	-	2,817	2,288
rewriter/	H	03-May-2022	-	32,873	26,079
substitution/	H	03-May-2022	-	2,264	1,593
act_cache.cpp	H A D	18-Nov-2021	5.8 KiB	225	139
act_cache.h	H A D	18-Nov-2021	1.5 KiB	63	37
arith_decl_plugin.cpp	H A D	18-Nov-2021	33.1 KiB	955	823
arith_decl_plugin.h	H A D	18-Nov-2021	22.7 KiB	611	476
array_decl_plugin.cpp	H A D	18-Nov-2021	26.4 KiB	690	604
array_decl_plugin.h	H A D	18-Nov-2021	8.8 KiB	284	192
ast.cpp	H A D	18-Nov-2021	120.5 KiB	3,451	2,913
ast.h	H A D	18-Nov-2021	102.2 KiB	2,636	1,728
ast_ll_pp.cpp	H A D	18-Nov-2021	9.5 KiB	348	295
ast_ll_pp.h	H A D	18-Nov-2021	1.5 KiB	56	28
ast_lt.cpp	H A D	18-Nov-2021	6.4 KiB	159	135
ast_lt.h	H A D	18-Nov-2021	765	39	14
ast_pp.h	H A D	18-Nov-2021	1.6 KiB	74	42
ast_pp_dot.cpp	H A D	18-Nov-2021	4 KiB	135	101
ast_pp_dot.h	H A D	18-Nov-2021	592	28	14
ast_pp_util.cpp	H A D	18-Nov-2021	3.3 KiB	130	99
ast_pp_util.h	H A D	18-Nov-2021	1.4 KiB	66	27
ast_printer.cpp	H A D	18-Nov-2021	2 KiB	54	32
ast_printer.h	H A D	18-Nov-2021	1.7 KiB	56	31
ast_smt2_pp.cpp	H A D	18-Nov-2021	48.6 KiB	1,415	1,261
ast_smt2_pp.h	H A D	18-Nov-2021	6.4 KiB	149	105
ast_smt_pp.cpp	H A D	18-Nov-2021	29 KiB	1,034	907
ast_smt_pp.h	H A D	18-Nov-2021	3.4 KiB	105	73
ast_trail.h	H A D	18-Nov-2021	1.3 KiB	75	42
ast_translation.cpp	H A D	18-Nov-2021	13.1 KiB	354	316
ast_translation.h	H A D	18-Nov-2021	3.7 KiB	130	89
ast_util.cpp	H A D	18-Nov-2021	10.6 KiB	396	343
ast_util.h	H A D	18-Nov-2021	5.6 KiB	174	89
bv_decl_plugin.cpp	H A D	18-Nov-2021	34 KiB	904	780
bv_decl_plugin.h	H A D	18-Nov-2021	20.9 KiB	515	406
char_decl_plugin.cpp	H A D	18-Nov-2021	6.6 KiB	178	145
char_decl_plugin.h	H A D	18-Nov-2021	2.8 KiB	110	55
cost_evaluator.cpp	H A D	18-Nov-2021	2.9 KiB	101	76
cost_evaluator.h	H A D	18-Nov-2021	800	42	13
datatype_decl_plugin.cpp	H A D	18-Nov-2021	55 KiB	1,427	1,245
datatype_decl_plugin.h	H A D	18-Nov-2021	18.7 KiB	436	349
decl_collector.cpp	H A D	18-Nov-2021	5.4 KiB	186	154
decl_collector.h	H A D	18-Nov-2021	1.7 KiB	71	39
display_dimacs.cpp	H A D	18-Nov-2021	4.4 KiB	171	140
display_dimacs.h	H A D	18-Nov-2021	473	27	4
dl_decl_plugin.cpp	H A D	18-Nov-2021	27.6 KiB	776	686
dl_decl_plugin.h	H A D	18-Nov-2021	6.2 KiB	204	118
expr2polynomial.cpp	H A D	18-Nov-2021	15.6 KiB	520	441
expr2polynomial.h	H A D	18-Nov-2021	3.2 KiB	111	34
expr2var.cpp	H A D	18-Nov-2021	2.7 KiB	114	81
expr2var.h	H A D	18-Nov-2021	1.9 KiB	80	35
expr_abstract.cpp	H A D	18-Nov-2021	4.3 KiB	146	115
expr_abstract.h	H A D	18-Nov-2021	1.5 KiB	45	19
expr_delta_pair.h	H A D	18-Nov-2021	700	35	9
expr_functors.cpp	H A D	18-Nov-2021	3.3 KiB	147	109
expr_functors.h	H A D	18-Nov-2021	2.4 KiB	130	67
expr_map.cpp	H A D	18-Nov-2021	2.1 KiB	95	66
expr_map.h	H A D	18-Nov-2021	1.4 KiB	61	31
expr_stat.cpp	H A D	18-Nov-2021	2.1 KiB	89	64
expr_stat.h	H A D	18-Nov-2021	978	49	12
expr_substitution.cpp	H A D	18-Nov-2021	4.6 KiB	172	136
expr_substitution.h	H A D	18-Nov-2021	3.2 KiB	95	63
for_each_ast.cpp	H A D	18-Nov-2021	898	46	22
for_each_ast.h	H A D	18-Nov-2021	8.8 KiB	273	218
for_each_expr.cpp	H A D	18-Nov-2021	4.8 KiB	175	135
for_each_expr.h	H A D	18-Nov-2021	6.6 KiB	220	179
format.cpp	H A D	18-Nov-2021	6.8 KiB	205	155
format.h	H A D	18-Nov-2021	7.2 KiB	204	129
fpa_decl_plugin.cpp	H A D	18-Nov-2021	46.5 KiB	1,112	977
fpa_decl_plugin.h	H A D	18-Nov-2021	16.8 KiB	370	296
func_decl_dependencies.cpp	H A D	18-Nov-2021	5.9 KiB	225	165
func_decl_dependencies.h	H A D	18-Nov-2021	2.7 KiB	109	25
has_free_vars.cpp	H A D	18-Nov-2021	2.6 KiB	108	78
has_free_vars.h	H A D	18-Nov-2021	385	35	11
is_variable_test.h	H A D	18-Nov-2021	1.3 KiB	63	38
justified_expr.h	H A D	18-Nov-2021	1.3 KiB	61	52
macro_substitution.cpp	H A D	18-Nov-2021	5.1 KiB	185	147
macro_substitution.h	H A D	18-Nov-2021	1.7 KiB	58	28
num_occurs.cpp	H A D	18-Nov-2021	2.1 KiB	80	52
num_occurs.h	H A D	18-Nov-2021	1.1 KiB	57	26
occurs.cpp	H A D	18-Nov-2021	1.3 KiB	77	40
occurs.h	H A D	18-Nov-2021	397	35	5
pb_decl_plugin.cpp	H A D	18-Nov-2021	9.3 KiB	321	267
pb_decl_plugin.h	H A D	18-Nov-2021	4.9 KiB	136	84
pp.cpp	H A D	18-Nov-2021	4.3 KiB	140	116
pp.h	H A D	18-Nov-2021	349	27	4
pp_params.pyg	H A D	18-Nov-2021	2.1 KiB	21	20
quantifier_stat.cpp	H A D	18-Nov-2021	3.7 KiB	120	92
quantifier_stat.h	H A D	18-Nov-2021	4.1 KiB	155	102
recfun_decl_plugin.cpp	H A D	18-Nov-2021	19.9 KiB	569	411
recfun_decl_plugin.h	H A D	18-Nov-2021	13.5 KiB	357	247
recurse_expr.h	H A D	18-Nov-2021	1.1 KiB	46	21
recurse_expr_def.h	H A D	18-Nov-2021	3.3 KiB	108	83
reg_decl_plugins.cpp	H A D	18-Nov-2021	2.2 KiB	68	47
reg_decl_plugins.h	H A D	18-Nov-2021	332	26	3
scoped_proof.h	H A D	18-Nov-2021	1,005	54	26
seq_decl_plugin.cpp	H A D	18-Nov-2021	61.5 KiB	1,749	1,504
seq_decl_plugin.h	H A D	18-Nov-2021	27 KiB	631	491
shared_occs.cpp	H A D	18-Nov-2021	3.5 KiB	147	116
shared_occs.h	H A D	18-Nov-2021	2.1 KiB	77	50
special_relations_decl_plugin.cpp	H A D	18-Nov-2021	2.6 KiB	84	60
special_relations_decl_plugin.h	H A D	18-Nov-2021	4.4 KiB	112	74
static_features.cpp	H A D	18-Nov-2021	25.5 KiB	682	621
static_features.h	H A D	18-Nov-2021	9 KiB	191	157
used_symbols.h	H A D	18-Nov-2021	2.9 KiB	104	68
used_vars.cpp	H A D	18-Nov-2021	3.2 KiB	125	91
used_vars.h	H A D	18-Nov-2021	1.4 KiB	66	34
value_generator.cpp	H A D	18-Nov-2021	11.5 KiB	387	309
value_generator.h	H A D	18-Nov-2021	744	40	18
well_sorted.cpp	H A D	18-Nov-2021	2.8 KiB	91	60
well_sorted.h	H A D	18-Nov-2021	288	27	4