Clasp::Problem_t Struct Reference

#include <claspfwd.h>

List of all members.

Public Types
enum	Format { DIMACS = 0, OPB = 1, LPARSE = 2 }
enum	Type { SAT = 0, PB = 1, ASP = 2 }
Static Public Member Functions
static Type	format2Type (Format f)

---

Detailed Description

Definition at line 29 of file claspfwd.h.

---

Member Enumeration Documentation

enum Clasp::Problem_t::Format

Enumerator:

DIMACS
OPB
LPARSE

Definition at line 31 of file claspfwd.h.

enum Clasp::Problem_t::Type

Enumerator:

SAT
PB
ASP

Definition at line 30 of file claspfwd.h.

---

Member Function Documentation

static Type Clasp::Problem_t::format2Type

(

Format

f

)

[inline, static]

Definition at line 32 of file claspfwd.h.

---

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

• claspfwd.h