EmbASP-Java
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)
 

Detailed Description

Definition at line 3 of file ASPDataCollection.java.


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