ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
cadical_solver_ Struct Reference

#include <cadicalSolver.h>

Public Attributes

void * p
 
int nVars
 
Vec_Int_t * vAssumptions
 
Vec_Int_t * vCore
 

Detailed Description

Definition at line 42 of file cadicalSolver.h.

Member Data Documentation

◆ nVars

int cadical_solver_::nVars

Definition at line 45 of file cadicalSolver.h.

◆ p

void* cadical_solver_::p

Definition at line 44 of file cadicalSolver.h.

◆ vAssumptions

Vec_Int_t* cadical_solver_::vAssumptions

Definition at line 46 of file cadicalSolver.h.

◆ vCore

Vec_Int_t* cadical_solver_::vCore

Definition at line 47 of file cadicalSolver.h.

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