EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.parsers.asp.ASPDataCollection Interface Reference
Inheritance diagram for it.unical.mat.parsers.asp.ASPDataCollection:
it.unical.mat.embasp.languages.asp.AnswerSets it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets it.unical.mat.embasp.specializations.dlv.DLVAnswerSets it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets

Public Member Functions

void addAnswerSet ()
 
void storeAtom (final String atom)
 
void storeCost (final int level, final int weight)
 

Member Function Documentation

◆ addAnswerSet()

void it.unical.mat.parsers.asp.ASPDataCollection.addAnswerSet ( )

◆ storeAtom()

void it.unical.mat.parsers.asp.ASPDataCollection.storeAtom ( final String  atom)

◆ storeCost()

void it.unical.mat.parsers.asp.ASPDataCollection.storeCost ( final int  level,
final int  weight 
)

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