Painless
A framework to ease parallelization of sequential CDCL SAT solvers
Loading...
Searching...
No Matches
type_gate Struct Reference
Collaboration diagram for type_gate:

Public Member Functions

void push_in (int x)
 
int & operator[] (int index)
 
const int & operator[] (int index) const
 
type_gateoperator= (const type_gate &other)
 

Public Attributes

std::vector< int > in
 
int ins
 
int out
 
int type
 

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