Gymbo

gymbo::SExecutor Member List

This is the complete list of members for gymbo::SExecutor, including all inherited members.

BaseExecutor(GDOptimizer optimizer, int maxSAT=256, int maxUNSAT=256, int max_num_trials=10, bool ignore_memory=false, bool use_dpll=false, int verbose_level=0, bool return_trace=false) | gymbo::SExecutor | inline
gymbo::BaseExecutor::BaseExecutor(GDOptimizer optimizer, int maxSAT=256, int maxUNSAT=256, int max_num_trials=10, bool ignore_memory=false, bool use_dpll=false, int verbose_level=0, bool return_trace=false) | gymbo::BaseExecutor | inline
constraints_cache | gymbo::SExecutor |
ignore_memory | gymbo::BaseExecutor |
max_num_trials | gymbo::BaseExecutor |
maxSAT | gymbo::BaseExecutor |
maxUNSAT | gymbo::BaseExecutor |
optimizer | gymbo::BaseExecutor |
return_trace | gymbo::BaseExecutor |
run(Prog &prog, std::unordered_set< int > &target_pcs, SymState &state, int maxDepth=256) | gymbo::SExecutor | inlinevirtual
solve(bool is_target, int pc, SymState &state) | gymbo::SExecutor | inlinevirtual
use_dpll | gymbo::BaseExecutor |
verbose_level | gymbo::BaseExecutor |