xasppkg.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include "smodels.h"
#include "api.h"
#include "atomrule.h"

Functions
void	init (void)
void	numberAtoms (int nAtoms)
void	atomName (char *name)
void	beginBasicRule (void)
void	beginChoiceRule (void)
void	beginConstraintRule (void)
void	beginWeightRule (void)
void	addHead (int atomNum)
void	addWPosBody (int atomNum, Weight weight)
void	addPosBody (int atomNum)
void	addWNegBody (int atomNum, Weight weight)
void	addNegBody (int atomNum)
void	endRule (void)
void	commitRules (void)
void	printProgram (void)
int	existsModel (void)
void	printAnswer (void)
void	close (void)
int	checkAtom (int atom)
void	setPosCompute (int atom)
void	setNegCompute (int atom)
void	resetPosCompute (int atom)
void	resetNegCompute (int atom)
void	remember (void)
void	forget (void)
void	setBody (long val)
void	setWeight (long val)
void	setHead (long val)
void	wellfounded (void)
int	testPos (int atom)
int	testNeg (int atom)
Variables
Smodels *	smodels
Api *	api
Atom **	atoms
int	curatom
int	totatoms

---

Function Documentation

void addHead (  int  atomNum  )

void addNegBody (  int  atomNum  )

void addPosBody (  int  atomNum  )

void addWNegBody (  int  atomNum, Weight  weight )

void addWPosBody (  int  atomNum, Weight  weight )

void atomName (  char *  name  )

void beginBasicRule (  void   )

void beginChoiceRule (  void   )

void beginConstraintRule (  void   )

void beginWeightRule (  void   )

int checkAtom (  int  atom  )

void close (  void   )

void commitRules (  void   )

void endRule (  void   )

int existsModel (  void   )

void forget (  void   )

void init (  void   )

void numberAtoms (  int  nAtoms  )

void printAnswer (  void   )

void printProgram (  void   )

void remember (  void   )

void resetNegCompute (  int  atom  )

void resetPosCompute (  int  atom  )

void setBody (  long  val  )

void setHead (  long  val  )

void setNegCompute (  int  atom  )

void setPosCompute (  int  atom  )

void setWeight (  long  val  )

int testNeg (  int  atom  )

int testPos (  int  atom  )

void wellfounded (  void   )

---

Variable Documentation

Api* api

Atom** atoms

int curatom

Smodels* smodels

int totatoms

---