module greed.TAC.log_ops

class TAC_Log

method handle

handle(state: SymbolicEVMState)

class TAC_Log0

method handle

handle(state: SymbolicEVMState)

class TAC_Log1

method handle

handle(state: SymbolicEVMState)

class TAC_Log2

method handle

handle(state: SymbolicEVMState)

class TAC_Log3

method handle

handle(state: SymbolicEVMState)

class TAC_Log4

method handle

handle(state: SymbolicEVMState)

This file was automatically generated via lazydocs.