Enum SolverNextAction

• Defined in File primitive_types.h

Enum Documentation

enum SolverNextAction

Associated with backtracking and whether a conflict is resolved or backtracking is required.

EXIT means the program is completed and should return success.

Values:

EXIT

RESOLVED

PROCESS_COMPONENT

BACKTRACK