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

Declare collection types for declarations

Browse Source
This commit is contained in:
Patrick Lühne 2020-01-31 13:53:21 +01:00
parent 03e249e791
commit 72db7c448b
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ast.rs
View File

@ -35,6 +35,8 @@ pub struct FunctionDeclaration
pub arity: usize,
}
pub type FunctionDeclarations = std::collections::HashSet<std::rc::Rc<FunctionDeclaration>>;
#[derive(Eq, Hash, PartialEq)]
pub struct PredicateDeclaration
{
@ -42,6 +44,8 @@ pub struct PredicateDeclaration
pub arity: usize,
}
pub type PredicateDeclarations = std::collections::HashSet<std::rc::Rc<PredicateDeclaration>>;
#[derive(Eq, Hash, PartialEq)]
pub struct VariableDeclaration
{