Gymbo

gymbo::BaseExecutor Member List

This is the complete list of members for gymbo::BaseExecutor, 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::BaseExecutor | inline
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)=0 | gymbo::BaseExecutor | pure virtual
solve(bool is_target, int pc, SymState &state)=0 | gymbo::BaseExecutor | pure virtual
use_dpll | gymbo::BaseExecutor |
verbose_level | gymbo::BaseExecutor |