SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::parser::Skipper Struct Reference

#include <Common.h>

Inheritance diagram for smtrat::parser::Skipper:
Inheritance graph
[legend]
Collaboration diagram for smtrat::parser::Skipper:
Collaboration graph
[legend]

Public Member Functions

 Skipper ()
 

Data Fields

boost::spirit::qi::rule< Iterator > main
 

Detailed Description

Definition at line 51 of file Common.h.

Constructor & Destructor Documentation

◆ Skipper()

smtrat::parser::Skipper::Skipper ( )
inline

Definition at line 52 of file Common.h.

Field Documentation

◆ main

boost::spirit::qi::rule<Iterator> smtrat::parser::Skipper::main

Definition at line 55 of file Common.h.

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