A C D F G H I M O P R S T U V

C

Callback - Interface in it.unical.mat.embasp.base

This interface is used to communicate results of solver invocation to the user

callback(Output) - Method in interface it.unical.mat.embasp.base.Callback

clear() - Method in class it.unical.mat.embasp.base.OptionDescriptor

after using this method the OptionDescriptor.options variable will be empty

clearAll() - Method in class it.unical.mat.embasp.base.InputProgram

After this method both InputProgram.files_paths and InputProgram.programs will be empty

clearFilesPaths() - Method in class it.unical.mat.embasp.base.InputProgram

After this method InputProgram.files_paths will be empty

clearPrograms() - Method in class it.unical.mat.embasp.base.InputProgram

After this method InputProgram.programs will be empty

ClingoAnswerSets - Class in it.unical.mat.embasp.specializations.clingo

represents Clingo's answersets

ClingoAnswerSets(String) - Constructor for class it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets

ClingoAnswerSets(String, String) - Constructor for class it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets

ClingoDesktopService - Class in it.unical.mat.embasp.specializations.clingo.desktop

is an extention of DesktopService for Clingo 's solver

ClingoDesktopService(String) - Constructor for class it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService

clone() - Method in class it.unical.mat.embasp.base.Output

clone() - Method in class it.unical.mat.embasp.languages.asp.AnswerSets

createJson(List<InputProgram>) - Method in class it.unical.mat.embasp.specializations.solver_planning_domains.SPDUtility

A C D F G H I M O P R S T U V