#include <ShStatement.hpp>
Public Types | |
| enum | ResultSource { LINEAR, ALL, EXTERNAL, IGNORE } |
Public Attributes | |
| const char * | name |
| The operation's name, e.g. "ASN". | |
| int | arity |
| The arity of the operation. 1, 2 or 3. | |
| enum SH::ShOperationInfo::ResultSource | result_source |
| bool | commutative |
| True if order of sources does not matter. | |
Definition at line 118 of file ShStatement.hpp.
1.3.7