Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Dr. Michael Petter
LLVM-abstractinterpretation
Commits
910d9bef
Verified
Commit
910d9bef
authored
Mar 16, 2020
by
Tim Gymnich
Browse files
made T public
parent
61b2e8eb
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/affine_relation.h
View file @
910d9bef
...
...
@@ -10,14 +10,14 @@
namespace
pcpo
{
class
AffineRelation
{
using
T
=
int
;
private:
/// Only valid when `createVariableIndexMap` has been generated.
int
getNumberOfVariables
()
const
{
return
index
.
size
();
};
std
::
unordered_map
<
llvm
::
Value
const
*
,
int
>
createVariableIndexMap
(
llvm
::
Function
const
&
func
);
public:
/// Type used for Matrix values.
using
T
=
double
;
std
::
unordered_map
<
llvm
::
Value
const
*
,
int
>
index
;
std
::
vector
<
Matrix
<
T
>>
basis
;
bool
isBottom
=
true
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment