Options for configuring enumeration. More...

#include <enumerator.h>

Public Types
enum	EnumType { enum_auto = 0, enum_bt = 1, enum_record = 2, enum_consequences = 4, enum_brave = 5, enum_cautious = 6 }
typedef MinimizeMode	OptMode
Public Member Functions
bool	consequences () const
Enumerator *	createEnumerator () const
	EnumOptions ()
bool	optimize () const
Static Public Member Functions
static Enumerator *	createConsEnumerator (const EnumOptions &opts)
static Enumerator *	createModelEnumerator (const EnumOptions &opts)
static Enumerator *	nullEnumerator ()
Public Attributes
SumVec	bound
bool	maxSat
int	numModels
OptMode	opt
uint32	project
EnumType	type

Detailed Description

Options for configuring enumeration.

Definition at line 61 of file enumerator.h.

Member Typedef Documentation

typedef MinimizeMode Clasp::EnumOptions::OptMode

Definition at line 62 of file enumerator.h.

Member Enumeration Documentation

enum Clasp::EnumOptions::EnumType

Enumerator:

enum_auto
enum_bt
enum_record
enum_consequences
enum_brave
enum_cautious

Definition at line 63 of file enumerator.h.

Constructor & Destructor Documentation

Clasp::EnumOptions::EnumOptions ( ) [inline]

Definition at line 64 of file enumerator.h.

Member Function Documentation

bool Clasp::EnumOptions::consequences ( ) const [inline]

Definition at line 70 of file enumerator.h.

Enumerator * Clasp::EnumOptions::createConsEnumerator ( const EnumOptions & opts ) [static]

Definition at line 77 of file cb_enumerator.cpp.

Enumerator * Clasp::EnumOptions::createEnumerator ( ) const

Definition at line 181 of file enumerator.cpp.

Enumerator * Clasp::EnumOptions::createModelEnumerator ( const EnumOptions & opts ) [static]

Definition at line 237 of file model_enumerators.cpp.

Enumerator * Clasp::EnumOptions::nullEnumerator ( ) [static]

Definition at line 186 of file enumerator.cpp.

bool Clasp::EnumOptions::optimize ( ) const [inline]

Definition at line 71 of file enumerator.h.

Member Data Documentation

SumVec Clasp::EnumOptions::bound

Initial bound for optimize statements.

Definition at line 76 of file enumerator.h.

bool Clasp::EnumOptions::maxSat

Treat DIMACS input as MaxSat

Definition at line 77 of file enumerator.h.

int Clasp::EnumOptions::numModels

Number of models to compute.

Definition at line 72 of file enumerator.h.

OptMode Clasp::EnumOptions::opt

Optimization mode to use.

Definition at line 74 of file enumerator.h.

uint32 Clasp::EnumOptions::project

Options for projection.

Definition at line 75 of file enumerator.h.

EnumType Clasp::EnumOptions::type

Enumeration type to use.

Definition at line 73 of file enumerator.h.

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

Public Types

Public Member Functions