CVC3
Public Attributes

CSolverParameters Struct Reference

#include <xchaff_solver.h>

List of all members.

Public Attributes


Detailed Description

Struct**********************************************************************

Synopsis [Sat solver parameters ]

Description []

SeeAlso []

Definition at line 77 of file xchaff_solver.h.


Member Data Documentation

Definition at line 78 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), CSolver::set_time_limit(), and CSolver::time_out().

Definition at line 80 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_decision_strategy().

Definition at line 81 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_preprocess_strategy().

Definition at line 88 of file xchaff_solver.h.

Referenced by CSolver::CSolver().

Definition at line 93 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 94 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 95 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 96 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 97 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 98 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 99 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 100 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::run_periodic_functions().

Definition at line 104 of file xchaff_solver.h.

Definition at line 105 of file xchaff_solver.h.

Referenced by CSolver::CSolver(), and CSolver::set_allow_multiple_conflict().


The documentation for this struct was generated from the following file: