Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

Minisat Namespace Reference

Namespaces

 Internal
 

Classes

class  Clause
 Represents a simple class for clause storage. More...
 
class  Formula
 The Formula class. More...
 
class  Model
 Represents a simple class for model storage. More...
 

Typedefs

using clause = Clause *
 

Typedef Documentation

◆ clause

using Minisat::clause = typedef Clause*

Definition at line 154 of file Minisat.h.