diff options
author | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-06 11:28:58 -0800 |
---|---|---|
committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-06 11:28:58 -0800 |
commit | 01f5b6ac7000f35b210a75d563b8b97a05051e31 (patch) | |
tree | 360283e6d1d234afe22cb51978e5d0cc7eb8d42e /Source/Core | |
parent | f12ca28f791c1e8cda2f6ff18f7e4605203674c8 (diff) |
in the process of adding support for linear sets without /useArrayTheory
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/LinearSets.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/LinearSets.cs b/Source/Core/LinearSets.cs index c092139d..0e6c21f5 100644 --- a/Source/Core/LinearSets.cs +++ b/Source/Core/LinearSets.cs @@ -596,6 +596,7 @@ namespace Microsoft.Boogie public Function mapOrBool;
public Function mapImpBool;
public Function mapConstBool;
+ public List<Axiom> axioms;
public LinearDomain(Program program, Variable var, string domainName)
{
@@ -606,6 +607,7 @@ namespace Microsoft.Boogie this.elementType = mapType.Arguments[0];
}
this.allocator = new GlobalVariable(Token.NoToken, new TypedIdent(Token.NoToken, string.Format("allocator_{0}", domainName), new MapType(Token.NoToken, new TypeVariableSeq(), new TypeSeq(this.elementType), Type.Bool)));
+ this.axioms = new List<Axiom>();
MapType mapTypeBool = new MapType(Token.NoToken, new TypeVariableSeq(), new TypeSeq(this.elementType), Type.Bool);
MapType mapTypeInt = new MapType(Token.NoToken, new TypeVariableSeq(), new TypeSeq(this.elementType), Type.Int);
|