SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
x
Functions
_
a
b
c
d
e
f
g
h
i
l
m
n
o
p
q
r
s
t
u
v
w
x
Variables
Typedefs
a
b
c
d
e
f
g
i
j
l
m
o
p
q
r
s
t
u
v
Enumerations
a
b
c
d
f
i
l
m
n
o
p
q
r
s
t
u
v
Enumerator
a
b
c
d
e
f
g
i
l
m
n
o
p
r
s
t
u
x
Data Structures
Data Structures
Data Structure Index
Class Hierarchy
Data Fields
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
~
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
~
Variables
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Typedefs
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
Enumerations
Enumerator
a
b
c
e
i
l
m
n
o
p
r
s
t
u
w
z
Related Functions
c
d
e
i
m
o
p
s
t
v
Files
File List
Globals
All
_
a
b
c
e
h
i
l
m
o
p
s
u
v
Functions
Variables
Typedefs
Macros
_
a
b
c
e
h
l
m
o
p
s
u
v
•
All
Data Structures
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
IntEqSettings.h
Go to the documentation of this file.
1
/**
2
* @file IntEqSettings.h
3
* @author YOUR NAME <YOUR EMAIL ADDRESS>
4
*
5
* @version 2014-11-24
6
* Created on 2014-11-24.
7
*/
8
9
10
#pragma once
11
12
namespace
smtrat
13
{
14
struct
IntEqSettings1
15
{
16
static
constexpr
auto
moduleName
=
"IntEqModule<IntEqSettings1>"
;
17
/**
18
* Example for a setting.
19
*/
20
static
const
bool
example_setting
=
true
;
21
};
22
}
smtrat
Class to create the formulas for axioms.
Definition:
handle_options.h:10
smtrat::IntEqSettings1
Definition:
IntEqSettings.h:15
smtrat::IntEqSettings1::example_setting
static const bool example_setting
Example for a setting.
Definition:
IntEqSettings.h:20
smtrat::IntEqSettings1::moduleName
static constexpr auto moduleName
Definition:
IntEqSettings.h:16
smtrat-modules
IntEqModule
IntEqSettings.h
Generated by
1.9.1