gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.dimacs/DIMACS

DIMACS

gapt.formats.dimacs.DIMACS
object DIMACS

Attributes

Source
dimacs.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
DIMACS.type

Members list

Type members

Types

type Atom = Int

Attributes

Source
dimacs.scala
type CNF = Seq[Clause]

Attributes

Source
dimacs.scala
type Clause = Seq[Literal]

Attributes

Source
dimacs.scala
type Literal = Int

Attributes

Source
dimacs.scala
type Model = Seq[Literal]

Attributes

Source
dimacs.scala

Value members

Concrete methods

def maxAtom(cnf: CNF): Int

Attributes

Source
dimacs.scala
Generated with