- DesktopHandler - Class in it.unical.mat.embasp.platforms.desktop
-
is a specialization for a Desktop platform
- DesktopHandler(DesktopService) - Constructor for class it.unical.mat.embasp.platforms.desktop.DesktopHandler
-
- DesktopService - Class in it.unical.mat.embasp.platforms.desktop
-
is a specialization for a Desktop platform
- DesktopService(String) - Constructor for class it.unical.mat.embasp.platforms.desktop.DesktopService
-
- DLV2AndroidReasoner - Class in it.unical.mat.embasp.specializations.dlv2.android
-
- DLV2AndroidReasoner() - Constructor for class it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner
-
- DLV2AndroidService - Class in it.unical.mat.embasp.specializations.dlv2.android
-
DLV2 solver for Android platforms
- DLV2AndroidService(Context) - Constructor for class it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidService
-
- DLV2AnswerSets - Class in it.unical.mat.embasp.specializations.dlv2
-
represents Dlv2's answersets
- DLV2AnswerSets(String) - Constructor for class it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets
-
- DLV2AnswerSets(String, String) - Constructor for class it.unical.mat.embasp.specializations.dlv2.DLV2AnswerSets
-
- DLV2DesktopService - Class in it.unical.mat.embasp.specializations.dlv2.desktop
-
- DLV2DesktopService(String) - Constructor for class it.unical.mat.embasp.specializations.dlv2.desktop.DLV2DesktopService
-
- DLVAndroidReasoner - Class in it.unical.mat.embasp.specializations.dlv.android
-
- DLVAndroidReasoner() - Constructor for class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner
-
- DLVAndroidService - Class in it.unical.mat.embasp.specializations.dlv.android
-
DLV solver for Android platforms
- DLVAndroidService(Context) - Constructor for class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidService
-
- DLVAnswerSets - Class in it.unical.mat.embasp.specializations.dlv
-
- DLVAnswerSets(String) - Constructor for class it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
-
Represent an AnswerSet specific for DLV
- DLVAnswerSets(String, String) - Constructor for class it.unical.mat.embasp.specializations.dlv.DLVAnswerSets
-
- DLVDesktopService - Class in it.unical.mat.embasp.specializations.dlv.desktop
-
DLV Solver for Desktop platforms
- DLVDesktopService(String) - Constructor for class it.unical.mat.embasp.specializations.dlv.desktop.DLVDesktopService
-
- DLVFilterOption - Class in it.unical.mat.embasp.specializations.dlv
-
- DLVFilterOption(String) - Constructor for class it.unical.mat.embasp.specializations.dlv.DLVFilterOption
-
- DLVHEXAnswerSets - Class in it.unical.mat.embasp.specializations.dlvhex
-
- DLVHEXAnswerSets(String) - Constructor for class it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
-
- DLVHEXAnswerSets(String, String) - Constructor for class it.unical.mat.embasp.specializations.dlvhex.DLVHEXAnswerSets
-
- DLVHEXDesktopService - Class in it.unical.mat.embasp.specializations.dlvhex.desktop
-
- DLVHEXDesktopService(String) - Constructor for class it.unical.mat.embasp.specializations.dlvhex.desktop.DLVHEXDesktopService
-