Searched refs:theory_header (Results 1 – 2 of 2) sorted by relevance
105 theory_header="$3"106 theory_includes="${theory_includes}#include \"$theory_header\"125 theory_header="$4"126 theory_includes="${theory_includes}#include \"$theory_header\"184 if [ -e "$dir/$theory_header" ]; then187 grep '\<'"$function"' *\((\|;\)' "$dir/$theory_header" | grep -vq '^ */\(/\|\*\)' ||190 grep '\<'"$function"' *\((\|;\)' "$dir/$theory_header" | grep -vq '^ */\(/\|\*\)' &&195 echo "$me: warning: theory header \"$theory_header\" does not exist or is unreadable" >&2
108 theory_header="$4"109 theory_includes="${theory_includes}#include \"$theory_header\"