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

- Moved some redundant checks for knowledge tuple adding, making it slightly

Browse Source 
faster.
- Fixed some error reporting to go to stderr.
This commit is contained in:
ccremers 2004-06-13 21:15:14 +00:00
parent bd76b63a37
commit 8e1c3685d4
1 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/knowledge.c
View File

@ -141,8 +141,8 @@ knowledgeAddTerm (Knowledge know, Term term)
{
if (know == NULL)
{
printf
("Warning: trying to add term to uninitialised (NULL) Know pointer.\n");
fprintf
(stderr, "Warning: trying to add term to uninitialised (NULL) Know pointer.\n");
return 1;
}
if (term == NULL)
@ -150,16 +150,19 @@ knowledgeAddTerm (Knowledge know, Term term)
term = deVar (term);
/* for tuples, simply recurse for components */
if (isTermTuple (term))
{
int status;
status = knowledgeAddTerm (know, term->left.op1);
return knowledgeAddTerm (know, term->right.op2) || status;
}
/* test whether we knew it before */
if (inKnowledge (know, term))
return 0;
if (isTermTuple (term))
{
knowledgeAddTerm (know, term->left.op1);
knowledgeAddTerm (know, term->right.op2);
}
/* adding variables? */
know->vars = termlistAddVariables (know->vars, term);