class BiconditionalValue

Declaration

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

Description

Models a boolean biconditional. Equivalent to `(LHS ^ RHS) v (!LHS ^ !RHS)`.

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

Inherits from: BoolValue

Member Variables

private clang::dataflow::BoolValue& LeftSubVal

private clang::dataflow::BoolValue& RightSubVal

Method Overview

• public BiconditionalValue(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

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

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

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:201

Parameters

const clang::dataflow::Value* Val

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

Description

Returns the left sub-value of the biconditional.

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

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

Description

Returns the right sub-value of the biconditional.

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