XSB: C:/dev/sandbox/xsb_release/XSB/packages/xasp/xasppkg.H Source File

00001 /* File:      xasppkg.H
00002 ** Author(s): Luis Castro
00003 ** Contact:   xsb-contact@cs.sunysb.edu
00004 ** 
00005 ** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998
00006 ** Copyright (C) ECRC, Germany, 1990
00007 ** 
00008 ** XSB is free software; you can redistribute it and/or modify it under the
00009 ** terms of the GNU Library General Public License as published by the Free
00010 ** Software Foundation; either version 2 of the License, or (at your option)
00011 ** any later version.
00012 ** 
00013 ** XSB is distributed in the hope that it will be useful, but WITHOUT ANY
00014 ** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
00015 ** FOR A PARTICULAR PURPOSE.  See the GNU Library General Public License for
00016 ** more details.
00017 ** 
00018 ** You should have received a copy of the GNU Library General Public License
00019 ** along with XSB; if not, write to the Free Software Foundation,
00020 ** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
00021 **
00022 ** $Id: xasppkg.H,v 1.2 2006/07/21 19:33:18 tswift Exp $
00023 ** 
00024 */
00025 
00026 %:- compile_command 'make module'.
00027         
00028 :- foreign_pred smodelsInit from init(void):void.
00029 :- foreign_pred smodelsNumAtoms(+a) from numberAtoms(a:int):void.
00030 :- foreign_pred smodelsAtomName(+a) from atomName(a:string):void.
00031 
00032 :- foreign_pred smodelsBeginBasicRule from beginBasicRule(void):void.
00033 :- foreign_pred smodelsBeginChoiceRule from beginChoiceRule(void):void.
00034 :- foreign_pred smodelsBeginConstraintRule from beginConstraintRule(void):void.
00035 :- foreign_pred smodelsBeginWeightRule from beginWeightRule(void):void.
00036 
00037 :- foreign_pred smodelsAddHead(+a) from addHead(a:int):void.
00038 :- foreign_pred smodelsAddPosBody(+a) from addPosBody(a:int):void.
00039 :- foreign_pred smodelsAddNegBody(+a) from addNegBody(a:int):void.
00040 :- foreign_pred smodelsAddWPosBody(+a,+w) from addWPosBody(a:int,w:int):void.
00041 :- foreign_pred smodelsAddWNegBody(+a,+w) from addWNegBody(a:int,w:int):void.
00042 :- foreign_pred smodelsEndRule from endRule(void):void.
00043 :- foreign_pred smodelsCommitRules from commitRules(void):void.
00044 :- foreign_pred smodelsPrintProgram from printProgram(void):void.
00045 :- foreign_pred smodelsExistsModel(-retval) from existsModel(void):int.
00046 :- foreign_pred smodelsPrintAnswer from printAnswer(void):void.
00047 :- foreign_pred smodelsClose from close(void):void.
00048 :- foreign_pred smodelsCheckAtom(+a,-retval) from checkAtom(a:int):int.
00049 :- foreign_pred smodelsSetPosCompute(+a) from setPosCompute(a:int):void.
00050 :- foreign_pred smodelsSetNegCompute(+a) from setNegCompute(a:int):void.
00051 :- foreign_pred smodelsResetPosCompute(+a) from resetPosCompute(a:int):void.
00052 :- foreign_pred smodelsResetNegCompute(+a) from resetNegCompute(a:int):void.
00053 :- foreign_pred smodelsRemember from remember(void):void.
00054 :- foreign_pred smodelsForget from forget(void):void.
00055 :- foreign_pred smodelsSetBody(+a) from setBody(a:int):void.
00056 :- foreign_pred smodelsSetWeight(+a) from setWeight(a:int):void.
00057 :- foreign_pred smodelsSetHead(+a) from setHead(a:int):void.
00058 :- foreign_pred smodelsWellFounded from wellfounded(void):void.
00059 :- foreign_pred smodelsTestPos(+a,-retval) from testPos(a:int):int.
00060 :- foreign_pred smodelsTestNeg(+a,-retval) from testNeg(a:int):int.