Simple state for a set.

Synopsis

Declared in <llvm/Transforms/IPO/Attributor.h>

template<typename BaseTy>
struct SetState
    : AbstractState

Description

This represents a state containing a set of values. The interface supports modelling sets that contain all possible elements. The state's internal value is modified using union or intersection operations.

Base Classes

Name

Description

AbstractState

An interface to query the internal state of an abstract attribute.

Types

Name

Description

SetContents

A wrapper around a set that has semantics for handling unions and intersections with a "universal" set that contains all elements.

Member Functions

Name

Description

SetState [constructor]

Constructors

getAssumed

Return the assumed state encoding.

getIntersection

Performs the set intersection between this set and RHS. Returns true if changes were made.

getKnown

Return the known state encoding.

getUnion

Performs the set union between this set and RHS. Returns true if changes were made.

indicateOptimisticFixpoint [virtual]

See AbstractState::indicateOptimisticFixpoint(...)

indicatePessimisticFixpoint [virtual]

See AbstractState::indicatePessimisticFixpoint(...)

isAtFixpoint [virtual]

See AbstractState::isAtFixpoint()

isValidState [virtual]

See AbstractState::isValidState()

setContains

Returns if the set state contains the element.

Created with MrDocs