ROSE  0.9.9.139
Public Types | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger Class Reference

Description

Controls merging of symbolic values.

Definition at line 67 of file SymbolicSemantics2.h.

#include <SymbolicSemantics2.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger:
Collaboration graph
[legend]

Public Types

typedef MergerPtr Ptr
 Shared-ownership pointer for a Merger object. More...
 
- Public Types inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Merger
typedef MergerPtr Ptr
 Shared ownership pointer for Merger. More...
 

Public Member Functions

size_t setSizeLimit () const
 Property: Maximum set size. More...
 
void setSizeLimit (size_t n)
 Property: Maximum set size. More...
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Static Public Member Functions

static Ptr instance ()
 Allocating constructor. More...
 
static Ptr instance (size_t n)
 Allocating constructor. More...
 
- Static Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Merger
static Ptr instance ()
 Allocating constructor. More...
 

Member Typedef Documentation

Shared-ownership pointer for a Merger object.

See Shared ownership.

Definition at line 74 of file SymbolicSemantics2.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger::instance ( )
inlinestatic

Allocating constructor.

Definition at line 77 of file SymbolicSemantics2.h.

static Ptr Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger::instance ( size_t  n)
inlinestatic

Allocating constructor.

Definition at line 82 of file SymbolicSemantics2.h.

size_t Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger::setSizeLimit ( ) const
inline

Property: Maximum set size.

The maximum number of members in a set when merging two expressions. For instance, when merging expressions "x" and "y" with a limit of one (the default), the return value is bottom, but if the size limit is two or more, the return value is (set x y). Merging two sets (or a set and a singlton) works the same way: if the union of the two sets is larger than the size limit then bottom is returned, otherwise the union is returned.

A limit of zero has the same effect as a limit of one since a singleton set is represented by just the naked member (that is, (set x) gets simplified to just x).

Definition at line 99 of file SymbolicSemantics2.h.

void Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::Merger::setSizeLimit ( size_t  n)
inline

Property: Maximum set size.

The maximum number of members in a set when merging two expressions. For instance, when merging expressions "x" and "y" with a limit of one (the default), the return value is bottom, but if the size limit is two or more, the return value is (set x y). Merging two sets (or a set and a singlton) works the same way: if the union of the two sets is larger than the size limit then bottom is returned, otherwise the union is returned.

A limit of zero has the same effect as a limit of one since a singleton set is represented by just the naked member (that is, (set x) gets simplified to just x).

Definition at line 100 of file SymbolicSemantics2.h.


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