EmbASP-Java v7.1.0
- c -
callback() :
it.unical.mat.embasp.base.Callback
clear() :
it.unical.mat.embasp.base.OptionDescriptor
clearAll() :
it.unical.mat.embasp.base.InputProgram
clearFilesPaths() :
it.unical.mat.embasp.base.InputProgram
clearPrograms() :
it.unical.mat.embasp.base.InputProgram
ClingoAnswerSets() :
it.unical.mat.embasp.specializations.clingo.ClingoAnswerSets
ClingoDesktopService() :
it.unical.mat.embasp.specializations.clingo.desktop.ClingoDesktopService
ClingoLexer() :
it.unical.mat.parsers.asp.clingo.ClingoLexer
ClingoParser() :
it.unical.mat.parsers.asp.clingo.ClingoParser
clone() :
it.unical.mat.embasp.base.Output
,
it.unical.mat.embasp.languages.asp.AnswerSets
,
it.unical.mat.embasp.languages.datalog.MinimalModels
collect_options() :
it.unical.mat.embasp.base.Handler
collect_programs() :
it.unical.mat.embasp.base.Handler
cost() :
it.unical.mat.parsers.asp.dlv.DLVParser
,
it.unical.mat.parsers.asp.dlv2.DLV2Parser
,
it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
cost_level() :
it.unical.mat.parsers.asp.dlv.DLVParser
createJson() :
it.unical.mat.embasp.specializations.solver_planning_domains.SPDUtility
Generated by
1.9.0