8000 add constness · Z80coder/datalog-cpp@4bee335 · GitHub
[go: up one dir, main page]
Skip to content

Commit 4bee335

Browse files
ianpaulwrightianpaulwright
committed
add constness
1 parent 66645f4 commit 4bee335

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎src/Datalog.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -764,7 +764,7 @@ template <typename ... RULE_TYPEs, typename... RELATIONs>
764764
void applyRuleSet(
765765
size_t iteration,
766766
typename State<RELATIONs...>::StateSizesType& stateSizeDelta,
767-
RuleSet<RULE_TYPEs...> &ruleSet,
767+
const RuleSet<RULE_TYPEs...> &ruleSet,
768768
State<RELATIONs...> &state
769769
) {
770770
// compute new state
@@ -781,7 +781,7 @@ void applyRuleSet(
781781
}
782782

783783
template <typename ... RULE_TYPEs, typename... RELATIONs>
784-
State<RELATIONs...> fixPoint(RuleSet<RULE_TYPEs...> &ruleSet, const State<RELATIONs...> &state) {
784+
State<RELATIONs...> fixPoint(const RuleSet<RULE_TYPEs...> &ruleSet, const State<RELATIONs...> &state) {
785785
typedef State<RELATIONs...> StateType;
786786
StateType newState{state};
787787
typename State<RELATIONs...>::StateSizesType stateSizeDelta;

0 commit comments

Comments
 (0)
0