From cede63b7e41d28ba2537cd113f3debe0f203e80f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 03:37:57 +0200
Subject: [PATCH] Remove unused code

---
 src/utils.rs | 60 ----------------------------------------------------
 1 file changed, 60 deletions(-)

diff --git a/src/utils.rs b/src/utils.rs
index fce577b..19fe636 100644
--- a/src/utils.rs
+++ b/src/utils.rs
@@ -125,65 +125,5 @@ pub(crate) fn universal_closure(scoped_formula: crate::ScopedFormula) -> foliage
 	}
 }
 
-/*pub fn parse_predicate_declaration(input: &str)
-	-> Result<std::rc::Rc<foliage::PredicateDeclaration>, crate::Error>
-{
-	let mut parts = input.split("/");
-
-	let name = parts.next().ok_or(crate::Error::new_parse_predicate_declaration())?;
-
-	use std::str::FromStr;
-
-	let arity = match parts.next()
-	{
-		Some(arity)
-			=> usize::from_str(arity).map_err(|_| crate::Error::new_parse_predicate_declaration())?,
-		None => 0,
-	};
-
-	if parts.next().is_some()
-	{
-		return Err(crate::Error::new_parse_predicate_declaration());
-	}
-
-	Ok(std::rc::Rc::new(foliage::PredicateDeclaration
-	{
-		name: name.to_string(),
-		arity,
-	}))
-}*/
-
 pub type InputConstantDeclarationDomains
 	= std::collections::BTreeMap<std::rc::Rc<foliage::FunctionDeclaration>, Domain>;
-
-/*pub fn parse_constant_declaration(input: &str)
-	-> Result<(std::rc::Rc<foliage::FunctionDeclaration>, crate::Domain), crate::Error>
-{
-	let mut parts = input.split(":");
-
-	let name = parts.next().ok_or(crate::Error::new_parse_constant_declaration())?.trim();
-
-	let domain = match parts.next()
-	{
-		None => crate::Domain::Program,
-		Some(value) => match value.trim()
-		{
-			"program" => crate::Domain::Program,
-			"integer" => crate::Domain::Integer,
-			_ => return Err(crate::Error::new_parse_constant_declaration()),
-		},
-	};
-
-	if parts.next().is_some()
-	{
-		return Err(crate::Error::new_parse_constant_declaration());
-	}
-
-	let constant_declaration = std::rc::Rc::new(foliage::FunctionDeclaration
-	{
-		name: name.to_string(),
-		arity: 0,
-	});
-
-	Ok((constant_declaration, domain))
-}*/