more constness

ianpaulwright · ianpaulwright · commit 5b02797af7c8 · 2019-11-17T16:31:27.000Z
diff --git a/src/Datalog.h b/src/Datalog.h
@@ -80,7 +80,7 @@ bool bind(const T& a, const T& b) {
 }
 
 template <typename T>
-bool bind(const T& a, Variable<T>* b) {
+bool bind(const T& a, Variable<T>* const b) {
     if (b->isBound()) {
         return b->value() == a;
     }
@@ -89,13 +89,13 @@ bool bind(const T& a, Variable<T>* b) {
 }
 
 template <typename GROUND_TYPE, typename ... Ts, size_t... Is>
-bool bind(const GROUND_TYPE &fact, tuple<Ts...> &atom, index_sequence<Is...>)
+bool bind(const GROUND_TYPE &fact, const tuple<Ts...> &atom, index_sequence<Is...>)
 {
 	return ((bind(get<Is>(fact), get<Is>(atom))) and ...);
 }
 
 template <typename GROUND_TYPE, typename ... Ts>
-bool bind(const GROUND_TYPE &fact, tuple<Ts...> &atom)
+bool bind(const GROUND_TYPE &fact, const tuple<Ts...> &atom)
 {
 	return bind(fact, atom, make_index_sequence<tuple_size<GROUND_TYPE>::value>{});
 }
@@ -548,7 +548,7 @@ void unbind(const typename RULE_INSTANCE_TYPE::BodyType &atoms)
 }
 
 template <size_t I, typename RULE_INSTANCE_TYPE, typename RULE_TYPE>
-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,
+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms,
 				 const typename RULE_TYPE::SliceType &slice)
 {
 	auto factPtr = get<I>(slice);
@@ -565,14 +565,14 @@ bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,
 }
 
 template <typename RULE_INSTANCE_TYPE, typename RULE_TYPE, size_t... Is>
-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,
+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms,
 				 const typename RULE_TYPE::SliceType &slice, index_sequence<Is...>)
 {
 	return ((bindBodyAtomsToSlice<Is, RULE_INSTANCE_TYPE, RULE_TYPE>(atoms, slice)) and ...);
 }
 
 template <typename RULE_INSTANCE_TYPE, typename RULE_TYPE>
-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms, const typename RULE_TYPE::SliceType &slice)
+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms, const typename RULE_TYPE::SliceType &slice)
 {
 	// for each atom, bind with corresponding relation type in slice
 	return bindBodyAtomsToSlice<RULE_INSTANCE_TYPE, RULE_TYPE>(atoms, slice, make_index_sequence<tuple_size<typename RULE_INSTANCE_TYPE::BodyType>::value>{});

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ bool bind(const T& a, const T& b) {`
`80`	`80`	`}`
`81`	`81`
`82`	`82`	`template <typename T>`
`83`		`-bool bind(const T& a, Variable<T>* b) {`
	`83`	`+bool bind(const T& a, Variable<T>* const b) {`
`84`	`84`	`if (b->isBound()) {`
`85`	`85`	`return b->value() == a;`
`86`	`86`	`}`
`@@ -89,13 +89,13 @@ bool bind(const T& a, Variable<T>* b) {`
`89`	`89`	`}`
`90`	`90`
`91`	`91`	`template <typename GROUND_TYPE, typename ... Ts, size_t... Is>`
`92`		`-bool bind(const GROUND_TYPE &fact, tuple<Ts...> &atom, index_sequence<Is...>)`
	`92`	`+bool bind(const GROUND_TYPE &fact, const tuple<Ts...> &atom, index_sequence<Is...>)`
`93`	`93`	`{`
`94`	`94`	`return ((bind(get<Is>(fact), get<Is>(atom))) and ...);`
`95`	`95`	`}`
`96`	`96`
`97`	`97`	`template <typename GROUND_TYPE, typename ... Ts>`
`98`		`-bool bind(const GROUND_TYPE &fact, tuple<Ts...> &atom)`
	`98`	`+bool bind(const GROUND_TYPE &fact, const tuple<Ts...> &atom)`
`99`	`99`	`{`
`100`	`100`	`return bind(fact, atom, make_index_sequence<tuple_size<GROUND_TYPE>::value>{});`
`101`	`101`	`}`
`@@ -548,7 +548,7 @@ void unbind(const typename RULE_INSTANCE_TYPE::BodyType &atoms)`
`548`	`548`	`}`
`549`	`549`
`550`	`550`	`template <size_t I, typename RULE_INSTANCE_TYPE, typename RULE_TYPE>`
`551`		`-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,`
	`551`	`+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms,`
`552`	`552`	`const typename RULE_TYPE::SliceType &slice)`
`553`	`553`	`{`
`554`	`554`	`auto factPtr = get<I>(slice);`
`@@ -565,14 +565,14 @@ bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,`
`565`	`565`	`}`
`566`	`566`
`567`	`567`	`template <typename RULE_INSTANCE_TYPE, typename RULE_TYPE, size_t... Is>`
`568`		`-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms,`
	`568`	`+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms,`
`569`	`569`	`const typename RULE_TYPE::SliceType &slice, index_sequence<Is...>)`
`570`	`570`	`{`
`571`	`571`	`return ((bindBodyAtomsToSlice<Is, RULE_INSTANCE_TYPE, RULE_TYPE>(atoms, slice)) and ...);`
`572`	`572`	`}`
`573`	`573`
`574`	`574`	`template <typename RULE_INSTANCE_TYPE, typename RULE_TYPE>`
`575`		`-bool bindBodyAtomsToSlice(typename RULE_INSTANCE_TYPE::BodyType &atoms, const typename RULE_TYPE::SliceType &slice)`
	`575`	`+bool bindBodyAtomsToSlice(const typename RULE_INSTANCE_TYPE::BodyType &atoms, const typename RULE_TYPE::SliceType &slice)`
`576`	`576`	`{`
`577`	`577`	`// for each atom, bind with corresponding relation type in slice`
`578`	`578`	`return bindBodyAtomsToSlice<RULE_INSTANCE_TYPE, RULE_TYPE>(atoms, slice, make_index_sequence<tuple_size<typename RULE_INSTANCE_TYPE::BodyType>::value>{});`