patrick/foliage-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Represent parameter lists as vectors and not sets

Browse Source
This commit is contained in:
Patrick Lühne 2020-02-02 02:12:05 +01:00
parent f0958b100e
commit 749dab228b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/ast.rs
View File

@ -52,7 +52,7 @@ pub struct VariableDeclaration
pub name: String, pub name: String,
} }
pub type VariableDeclarations = std::collections::HashSet<std::rc::Rc<VariableDeclaration>>; pub type VariableDeclarations = Vec<std::rc::Rc<VariableDeclaration>>;
pub struct VariableDeclarationStack pub struct VariableDeclarationStack
{ {
@ -102,7 +102,7 @@ impl VariableDeclarationStack
}; };
let variable_declaration = std::rc::Rc::new(variable_declaration); let variable_declaration = std::rc::Rc::new(variable_declaration);
self.free_variable_declarations.insert(std::rc::Rc::clone(&variable_declaration)); self.free_variable_declarations.push(std::rc::Rc::clone(&variable_declaration));
variable_declaration variable_declaration
} }
@ -162,13 +162,13 @@ pub struct Compare
pub struct Exists pub struct Exists
{ {
pub parameters: Vec<std::rc::Rc<VariableDeclaration>>, pub parameters: VariableDeclarations,
pub argument: Box<Formula>, pub argument: Box<Formula>,
} }
pub struct ForAll pub struct ForAll
{ {
pub parameters: Vec<std::rc::Rc<VariableDeclaration>>, pub parameters: VariableDeclarations,
pub argument: Box<Formula>, pub argument: Box<Formula>,
} }