SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Structures | Functions
smtrat::cad::preprocessor Namespace Reference

Data Structures

struct  Origins
 
class  AssignmentCollector
 
class  ResultantRule
 
struct  ConstraintUpdate
 

Functions

std::size_t complexity (const std::vector< FormulaT > &origin)
 

Function Documentation

◆ complexity()

std::size_t smtrat::cad::preprocessor::complexity ( const std::vector< FormulaT > &  origin)
inline

Definition at line 12 of file CADPreprocessor.cpp.

Here is the caller graph for this function: