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

O

ObjectNotValidException - Exception in it.unical.mat.embasp.languages

ObjectNotValidException() - Constructor for exception it.unical.mat.embasp.languages.ObjectNotValidException

onDestroy() - Method in class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner

onDestroy() - Method in class it.unical.mat.embasp.specializations.dlv2.android.DLV2AndroidReasoner

OPTION - Static variable in class it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner

OptionDescriptor - Class in it.unical.mat.embasp.base

Represents options for a generic ASP programs

OptionDescriptor() - Constructor for class it.unical.mat.embasp.base.OptionDescriptor

OptionDescriptor(String) - Constructor for class it.unical.mat.embasp.base.OptionDescriptor

Output - Class in it.unical.mat.embasp.base

represents a generic output for a solver

Output() - Constructor for class it.unical.mat.embasp.base.Output

Output(String) - Constructor for class it.unical.mat.embasp.base.Output

Output(String, String) - Constructor for class it.unical.mat.embasp.base.Output

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