From 68bbdc27940d4946333034bcbcfae9520e64da1d Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 27 Aug 2004 14:48:58 +0000 Subject: [PATCH] - Added interfaces for the more interesting Arachne claim checks. --- src/claim.c | 8 +++++++- src/claim.h | 2 ++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/src/claim.c b/src/claim.c index 9591620..b509553 100644 --- a/src/claim.c +++ b/src/claim.c @@ -542,7 +542,7 @@ int arachne_runs_agree (const System sys, const Claimlist cl, const Termmap runs * Per default, occurs in run 0, but for generality we have left the run parameter in. *@returns 1 if the claim is true, 0 if it is not. */ -int arachne_claim_agree (const System sys, const int claim_run, const int claim_index) +int arachne_claim_niagree (const System sys, const int claim_run, const int claim_index) { Claimlist cl; Roledef rd; @@ -596,3 +596,9 @@ int arachne_claim_agree (const System sys, const int claim_run, const int claim_ return flag; } +//! Test nisynch +int arachne_claim_nisynch (const System sys, const int claim_run, const int claim_index) +{ + //!@todo For now, only agreement claim + return arachne_claim_niagree (sys, claim_run, claim_index); +} diff --git a/src/claim.h b/src/claim.h index 4234f12..c6c7acd 100644 --- a/src/claim.h +++ b/src/claim.h @@ -3,5 +3,7 @@ int check_claim_nisynch (const System sys, const int i); int check_claim_niagree (const System sys, const int i); +int arachne_claim_niagree (const System sys, const int claim_run, const int claim_index); +int arachne_claim_nisynch (const System sys, const int claim_run, const int claim_index); #endif