ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
PLA_t Struct Reference

#include <espresso.h>

Collaboration diagram for PLA_t:

Public Attributes

pcover F
 
pcover D
 
pcover R
 
char * filename
 
int pla_type
 
pcube phase
 
ppair pair
 
char ** label
 
symbolic_tsymbolic
 
symbolic_tsymbolic_output
 

Detailed Description

Definition at line 315 of file espresso.h.

Member Data Documentation

◆ D

pcover PLA_t::D

Definition at line 316 of file espresso.h.

◆ F

pcover PLA_t::F

Definition at line 316 of file espresso.h.

◆ filename

char* PLA_t::filename

Definition at line 317 of file espresso.h.

◆ label

char** PLA_t::label

Definition at line 321 of file espresso.h.

◆ pair

ppair PLA_t::pair

Definition at line 320 of file espresso.h.

◆ phase

pcube PLA_t::phase

Definition at line 319 of file espresso.h.

◆ pla_type

int PLA_t::pla_type

Definition at line 318 of file espresso.h.

◆ R

pcover PLA_t::R

Definition at line 316 of file espresso.h.

◆ symbolic

symbolic_t* PLA_t::symbolic

Definition at line 322 of file espresso.h.

◆ symbolic_output

symbolic_t* PLA_t::symbolic_output

Definition at line 323 of file espresso.h.


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