carl  24.04
Computer ARithmetic Library
Public Member Functions | Static Public Member Functions | Private Attributes
carl::variable_type_filter Class Reference

#include <Variables.h>

Public Member Functions

bool apply (VariableType v) const
 
bool apply (Variable v) const
 

Static Public Member Functions

static variable_type_filter all ()
 
static variable_type_filter excluding (std::initializer_list< VariableType > i)
 
static variable_type_filter only (std::initializer_list< VariableType > i)
 
static auto boolean ()
 
static auto integer ()
 
static auto real ()
 
static auto arithmetic ()
 
static auto bitvector ()
 
static auto uninterpreted ()
 

Private Attributes

bool filter_bool = true
 
bool filter_real = true
 
bool filter_int = true
 
bool filter_uninterpreted = true
 
bool filter_bitvector = true
 

Detailed Description

Definition at line 13 of file Variables.h.

Member Function Documentation

◆ all()

static variable_type_filter carl::variable_type_filter::all ( )
inlinestatic

Definition at line 21 of file Variables.h.

◆ apply() [1/2]

bool carl::variable_type_filter::apply ( Variable  v) const
inline

Definition at line 79 of file Variables.h.

Here is the call graph for this function:

◆ apply() [2/2]

bool carl::variable_type_filter::apply ( VariableType  v) const
inline

Definition at line 70 of file Variables.h.

Here is the caller graph for this function:

◆ arithmetic()

static auto carl::variable_type_filter::arithmetic ( )
inlinestatic

Definition at line 60 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ bitvector()

static auto carl::variable_type_filter::bitvector ( )
inlinestatic

Definition at line 63 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ boolean()

static auto carl::variable_type_filter::boolean ( )
inlinestatic

Definition at line 51 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ excluding()

static variable_type_filter carl::variable_type_filter::excluding ( std::initializer_list< VariableType >  i)
inlinestatic

Definition at line 24 of file Variables.h.

Here is the caller graph for this function:

◆ integer()

static auto carl::variable_type_filter::integer ( )
inlinestatic

Definition at line 54 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ only()

static variable_type_filter carl::variable_type_filter::only ( std::initializer_list< VariableType >  i)
inlinestatic

Definition at line 35 of file Variables.h.

Here is the caller graph for this function:

◆ real()

static auto carl::variable_type_filter::real ( )
inlinestatic

Definition at line 57 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ uninterpreted()

static auto carl::variable_type_filter::uninterpreted ( )
inlinestatic

Definition at line 66 of file Variables.h.

Here is the call graph for this function:
Here is the caller graph for this function:

Field Documentation

◆ filter_bitvector

bool carl::variable_type_filter::filter_bitvector = true
private

Definition at line 18 of file Variables.h.

◆ filter_bool

bool carl::variable_type_filter::filter_bool = true
private

Definition at line 14 of file Variables.h.

◆ filter_int

bool carl::variable_type_filter::filter_int = true
private

Definition at line 16 of file Variables.h.

◆ filter_real

bool carl::variable_type_filter::filter_real = true
private

Definition at line 15 of file Variables.h.

◆ filter_uninterpreted

bool carl::variable_type_filter::filter_uninterpreted = true
private

Definition at line 17 of file Variables.h.

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