cprover
aig_nodet Class Reference

#include <aig.h>

Collaboration diagram for aig_nodet:
[legend]

Public Member Functions

 aig_nodet ()
 
bool is_and () const
 
bool is_var () const
 
void make_and (literalt _a, literalt _b)
 
void make_var ()
 

Public Attributes

literalt a
 
literalt b
 

Detailed Description

Definition at line 21 of file aig.h.

Constructor & Destructor Documentation

◆ aig_nodet()

aig_nodet::aig_nodet ( )
inline

Definition at line 26 of file aig.h.

Member Function Documentation

◆ is_and()

◆ is_var()

bool aig_nodet::is_var ( ) const
inline

Definition at line 35 of file aig.h.

References a, literalt::unused_var_no(), and literalt::var_no().

Referenced by aigt::print().

◆ make_and()

void aig_nodet::make_and ( literalt  _a,
literalt  _b 
)
inline

Definition at line 40 of file aig.h.

References a, and b.

◆ make_var()

void aig_nodet::make_var ( )
inline

Definition at line 46 of file aig.h.

References a, literalt::set(), and literalt::unused_var_no().

Member Data Documentation

◆ a

◆ b


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