Here is a list of all documented files with brief descriptions:
[detail level 12345678910111213]
▼ EmbASP-Java | |
▼ app | |
▼ src | |
▼ main | |
▼ java | |
▼ it | |
▼ unical | |
▼ mat | |
▼ embasp | |
▼ base | |
Callback.java | |
Handler.java | |
InputProgram.java | |
OptionDescriptor.java | |
Output.java | |
Service.java | |
▼ languages | |
► asp | |
AnswerSet.java | |
AnswerSets.java | |
ASPFilterOption.java | |
ASPInputProgram.java | |
ASPMapper.java | |
IllegalTermException.java | |
PredicateNotValidException.java | |
SymbolicConstant.java | |
► pddl | |
Action.java | |
PDDLException.java | |
PDDLInputProgram.java | |
PDDLMapper.java | |
PDDLProgramType.java | |
Plan.java | |
Id.java | |
IllegalAnnotationException.java | |
Mapper.java | |
ObjectNotValidException.java | |
Param.java | |
▼ platforms | |
► android | |
AndroidHandler.java | |
AndroidReceiver.java | |
AndroidService.java | |
AndroidUtility.java | |
► desktop | |
DesktopHandler.java | |
DesktopService.java | |
▼ specializations | |
► clingo | |
► desktop | |
ClingoDesktopService.java | |
ClingoAnswerSets.java | |
► dlv | |
► android | |
DLVAndroidReasoner.java | |
DLVAndroidService.java | |
► desktop | |
DLVDesktopService.java | |
DLVAnswerSets.java | |
DLVFilterOption.java | |
► dlv2 | |
► android | |
DLV2AndroidReasoner.java | |
DLV2AndroidService.java | |
► desktop | |
DLV2DesktopService.java | |
DLV2AnswerSets.java | |
► dlvhex | |
► desktop | |
DLVHEXDesktopService.java | |
DLVHEXAnswerSets.java | |
► solver_planning_domains | |
► android | |
SPDAndroidService.java | |
► desktop | |
SPDDesktopService.java | |
SPDPlan.java | |
SPDUtility.java | |
▼ parsers | |
▼ asp | |
► asp_parser_base | |
ASPGrammarBaseVisitor.java | |
ASPGrammarLexer.java | |
ASPGrammarParser.java | |
ASPGrammarVisitor.java | |
► clingo | |
ClingoLexer.java | |
ClingoParser.java | |
ClingoParserBaseVisitor.java | |
ClingoParserBaseVisitorImplementation.java | |
ClingoParserVisitor.java | |
► dlv | |
DLVLexer.java | |
DLVParser.java | |
DLVParserBaseVisitor.java | |
DLVParserBaseVisitorImplementation.java | |
DLVParserVisitor.java | |
► dlv2 | |
DLV2Lexer.java | |
DLV2Parser.java | |
DLV2ParserBaseVisitor.java | |
DLV2ParserBaseVisitorImplementation.java | |
DLV2ParserVisitor.java | |
► dlvhex | |
DLVHEXLexer.java | |
DLVHEXParser.java | |
DLVHEXParserBaseVisitor.java | |
DLVHEXParserBaseVisitorImplementation.java | |
DLVHEXParserVisitor.java | |
ASPDataCollection.java | |
ASPParser.java | |
ASPSolversParser.java | |
▼ pddl | |
► pddl_parser_base | |
PDDLGrammarBaseVisitor.java | |
PDDLGrammarLexer.java | |
PDDLGrammarParser.java | |
PDDLGrammarVisitor.java | |
► solver_planning_domains | |
SPDGrammarBaseVisitor.java | |
SPDGrammarBaseVisitorImplementation.java | |
SPDGrammarLexer.java | |
SPDGrammarParser.java | |
SPDGrammarVisitor.java | |
PDDLDataCollection.java | |
PDDLParser.java | |
PDDLSolversParser.java | |