summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers
ModeNameSize
-rw-r--r--Makefile85logplain
-rw-r--r--Makefile.am1109logplain
-rw-r--r--candidate_generator.cpp5872logplain
-rw-r--r--candidate_generator.h4327logplain
-rw-r--r--first_order_model.cpp15917logplain
-rw-r--r--first_order_model.h3545logplain
-rwxr-xr-xinst_gen.cpp10879logplain
-rwxr-xr-xinst_gen.h2012logplain
-rw-r--r--inst_match.cpp7296logplain
-rw-r--r--inst_match.h6021logplain
-rwxr-xr-xinst_match_generator.cpp27467logplain
-rwxr-xr-xinst_match_generator.h8051logplain
-rw-r--r--instantiation_engine.cpp14118logplain
-rw-r--r--instantiation_engine.h2489logplain
-rw-r--r--instantiator_default.cpp1910logplain
-rw-r--r--instantiator_default.h1483logplain
-rw-r--r--kinds1949logplain
-rw-r--r--model_builder.cpp39862logplain
-rw-r--r--model_builder.h9034logplain
-rw-r--r--model_engine.cpp14446logplain
-rw-r--r--model_engine.h2542logplain
-rw-r--r--modes.cpp2182logplain
-rw-r--r--modes.h2090logplain
-rw-r--r--options4900logplain
-rw-r--r--options_handlers.h4914logplain
-rwxr-xr-xquant_util.cpp4832logplain
-rwxr-xr-xquant_util.h3615logplain
-rw-r--r--quantifiers_attributes.cpp1363logplain
-rw-r--r--quantifiers_attributes.h1468logplain
-rw-r--r--quantifiers_rewriter.cpp25333logplain
-rw-r--r--quantifiers_rewriter.h3066logplain
-rw-r--r--relevant_domain.cpp7738logplain
-rw-r--r--relevant_domain.h1800logplain
-rw-r--r--term_database.cpp16089logplain
-rw-r--r--term_database.h8441logplain
-rw-r--r--theory_quantifiers.cpp5879logplain
-rw-r--r--theory_quantifiers.h2336logplain
-rw-r--r--theory_quantifiers_instantiator.cpp2709logplain
-rw-r--r--theory_quantifiers_instantiator.h1807logplain
-rw-r--r--theory_quantifiers_type_rules.h4368logplain
-rw-r--r--trigger.cpp16356logplain
-rw-r--r--trigger.h5794logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback