diff options
Diffstat (limited to 'src/theory/mktheorytraits')
-rwxr-xr-x | src/theory/mktheorytraits | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits index 15166fc1f..456a4b0ea 100755 --- a/src/theory/mktheorytraits +++ b/src/theory/mktheorytraits @@ -53,7 +53,6 @@ theory_has_ppStaticLearn="false" theory_has_notifyRestart="false" theory_has_presolve="false" theory_has_postsolve="false" -theory_has_getNextDecisionRequest="false" theory_stable_infinite="false" theory_finite="false" @@ -177,14 +176,13 @@ struct TheoryTraits<${theory_id}> { static const bool hasNotifyRestart = ${theory_has_notifyRestart}; static const bool hasPresolve = ${theory_has_presolve}; static const bool hasPostsolve = ${theory_has_postsolve}; - static const bool hasGetNextDecisionRequest = ${theory_has_getNextDecisionRequest}; };/* struct TheoryTraits<${theory_id}> */ " # warnings about theory content and properties dir="$(dirname "$kf")/../../" if [ -e "$dir/$theory_header" ]; then - for function in check propagate ppStaticLearn notifyRestart presolve postsolve getNextDecisionRequest; do + for function in check propagate ppStaticLearn notifyRestart presolve postsolve; do if eval "\$theory_has_$function"; then grep '\<'"$function"' *\((\|;\)' "$dir/$theory_header" | grep -vq '^ */\(/\|\*\)' || echo "$kf: warning: $theory_class has property \"$function\" in its kinds file but doesn't appear to declare the function" >&2 @@ -203,7 +201,6 @@ struct TheoryTraits<${theory_id}> { theory_has_notifyRestart="false" theory_has_presolve="false" theory_has_postsolve="false" - theory_has_getNextDecisionRequest="false" theory_stable_infinite="false" theory_finite="false" @@ -286,7 +283,6 @@ function properties { ppStaticLearn) theory_has_ppStaticLearn="true";; presolve) theory_has_presolve="true";; postsolve) theory_has_postsolve="true";; - getNextDecisionRequest) theory_has_getNextDecisionRequest="true";; notifyRestart) theory_has_notifyRestart="true";; *) echo "$kf:$lineno: error: unknown theory property \"$property\"" >&2; exit 1;; esac |