class ImplicationValue

Declaration

class ImplicationValue : public BoolValue { /* full declaration omitted */ };

Description

Models a boolean implication. Equivalent to `!LHS v RHS`.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:171

Inherits from: BoolValue

Member Variables

private clang::dataflow::BoolValue& LeftSubVal

private clang::dataflow::BoolValue& RightSubVal

Method Overview

• public ImplicationValue(clang::dataflow::BoolValue & LeftSubVal, clang::dataflow::BoolValue & RightSubVal)
• public static bool classof(const clang::dataflow::Value * Val)
• public clang::dataflow::BoolValue & getLeftSubValue() const
• public clang::dataflow::BoolValue & getRightSubValue() const

Inherited from BoolValue:

• public classof

Inherited from Value:

• public getKind
• public getProperty
• public setProperty

Methods

¶ImplicationValue(
    clang::dataflow::BoolValue& LeftSubVal,
    clang::dataflow::BoolValue& RightSubVal)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:173

Parameters

clang::dataflow::BoolValue& LeftSubVal

clang::dataflow::BoolValue& RightSubVal

¶static bool classof(
    const clang::dataflow::Value* Val)

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:177

Parameters

const clang::dataflow::Value* Val

¶clang::dataflow::BoolValue& getLeftSubValue()
    const

Description

Returns the left sub-value of the implication.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:182

¶clang::dataflow::BoolValue& getRightSubValue()
    const

Description

Returns the right sub-value of the implication.

Declared at: clang/include/clang/Analysis/FlowSensitive/Value.h:185