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