EmbASP-Programmatic v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.asp.IASPDataCollection Interface Reference
Inheritance diagram for it.unical.mat.parsers.asp.IASPDataCollection:
it.unical.mat.embasp.languages.asp.AnswerSets

Public Member Functions

void AddAnswerSet ()
 
void StoreAtom (string atom)
 
void StoreCost (int level, int weight)
 

Member Function Documentation

◆ AddAnswerSet()

void it.unical.mat.parsers.asp.IASPDataCollection.AddAnswerSet ( )

◆ StoreAtom()

void it.unical.mat.parsers.asp.IASPDataCollection.StoreAtom ( string  atom)

◆ StoreCost()

void it.unical.mat.parsers.asp.IASPDataCollection.StoreCost ( int  level,
int  weight 
)

The documentation for this interface was generated from the following file: