andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Moving fake nested function out of nesting.

Browse Source
This commit is contained in:
Cas Cremers 2018-12-24 15:50:39 +01:00
parent c60bd0aae2
commit 733b8eba57
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
src/hidelevel.c
View File

@ -235,21 +235,23 @@ iterate_interesting (const System sys, const Term goalterm, int (*func) ())
return true;
}
//! Simple check for next function
int
possible (unsigned int l, unsigned int lmin, unsigned int lprot,
unsigned int lknow)
{
if (l < lmin)
{
// impossible, abort!
return false;
}
return true;
}
//! Determine whether a goal is impossible to satisfy because of the hidelevel lemma.
int
hidelevelImpossible (const System sys, const Term goalterm)
{
int possible (unsigned int l, unsigned int lmin, unsigned int lprot,
unsigned int lknow)
{
if (l < lmin)
{
// impossible, abort!
return false;
}
return true;
}
return !iterate_interesting (sys, goalterm, possible);
}