Clasp::Problem_t Struct Reference

#include <claspfwd.h>

Collaboration diagram for Clasp::Problem_t:

Public Types
enum	Type { SAT = 0, PB = 1, ASP = 2 }
enum	Format { DIMACS = 0, OPB = 1, LPARSE = 2 }

Static Public Member Functions
static Type	format2Type (Format f)

Member Enumeration Documentation

enum Clasp::Problem_t::Format

Enumerator
DIMACS
OPB
LPARSE

enum Clasp::Problem_t::Type

Enumerator
SAT
PB
ASP

Member Function Documentation

static Type Clasp::Problem_t::format2Type ( Format  f )

inlinestatic

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/claspfwd.h