class Solver

Declaration

class Solver { /* full declaration omitted */ };

Description

An interface for a SAT solver that can be used by dataflow analyses.

Declared at: clang/include/clang/Analysis/FlowSensitive/Solver.h:26

Method Overview

• public virtual clang::dataflow::Solver::Result solve(llvm::DenseSet<BoolValue *> Vals)
• public virtual ~Solver()

Methods

¶virtual clang::dataflow::Solver::Result solve(
    llvm::DenseSet<BoolValue*> Vals)

Description

Checks if the conjunction of `Vals` is satisfiable and returns the corresponding result. Requirements: All elements in `Vals` must not be null.

Declared at: clang/include/clang/Analysis/FlowSensitive/Solver.h:90

Parameters

llvm::DenseSet<BoolValue*> Vals

¶virtual ~Solver()

Declared at: clang/include/clang/Analysis/FlowSensitive/Solver.h:82