pyabc_split.abc_state Class Reference

Inherits object.

Public Member Functions
def	__init__
def	__del__
def	restore

Data Fields
	aig
	log

Detailed Description

Definition at line 312 of file pyabc_split.py.

Constructor & Destructor Documentation

def pyabc_split.abc_state.__init__

(

self

)

Definition at line 313 of file pyabc_split.py.

    def __init__(self):
        with tempfile.NamedTemporaryFile(delete=False, suffix='.aig') as file:
            self.aig = file.name
        with tempfile.NamedTemporaryFile(delete=False, suffix='.log') as file:
            self.log = file.name
        pyabc.run_command(r'write_status %s'%self.log)
        pyabc.run_command(r'write_aiger %s'%self.aig)