Clasp::EnumOptions Struct Reference

Options for configuring enumeration. More...

#include <enumerator.h>

Collaboration diagram for Clasp::EnumOptions:

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
	EnumOptions ()
Enumerator *	createEnumerator () const
bool	consequences () const
bool	optimize () const

Static Public Member Functions
static Enumerator *	createModelEnumerator (const EnumOptions &opts)
static Enumerator *	createConsEnumerator (const EnumOptions &opts)
static Enumerator *	nullEnumerator ()

Public Attributes
int	numModels
EnumType	type
OptMode	opt
uint32	project
SumVec	bound
bool	maxSat

Detailed Description

Options for configuring enumeration.

Member Typedef Documentation

typedef MinimizeMode Clasp::EnumOptions::OptMode

Member Enumeration Documentation

enum Clasp::EnumOptions::EnumType

Enumerator
enum_auto
enum_bt
enum_record
enum_consequences
enum_brave
enum_cautious

Constructor & Destructor Documentation

Clasp::EnumOptions::EnumOptions ( )

inline

Member Function Documentation

bool Clasp::EnumOptions::consequences ( ) const

inline

Enumerator * Clasp::EnumOptions::createConsEnumerator ( const EnumOptions &  opts )

static

Enumerator * Clasp::EnumOptions::createEnumerator

(

)

const

Here is the call graph for this function:

Enumerator * Clasp::EnumOptions::createModelEnumerator ( const EnumOptions &  opts )

static

Here is the call graph for this function:

Enumerator * Clasp::EnumOptions::nullEnumerator ( )

static

Here is the call graph for this function:

bool Clasp::EnumOptions::optimize ( ) const

inline

Member Data Documentation

SumVec Clasp::EnumOptions::bound

Initial bound for optimize statements.

bool Clasp::EnumOptions::maxSat

Treat DIMACS input as MaxSat

int Clasp::EnumOptions::numModels

Number of models to compute.

OptMode Clasp::EnumOptions::opt

Optimization mode to use.

uint32 Clasp::EnumOptions::project

Options for projection.

EnumType Clasp::EnumOptions::type

Enumeration type to use.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/enumerator.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/cb_enumerator.cpp
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/enumerator.cpp
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/model_enumerators.cpp