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

G

getActions() - Method in class it.unical.mat.embasp.languages.pddl.Plan

getActionsObjects() - Method in class it.unical.mat.embasp.languages.pddl.Plan

getAnswerSet() - Method in class it.unical.mat.embasp.languages.asp.AnswerSet

Return the current AnswerSet.value data

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

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

getAtoms() - Method in class it.unical.mat.embasp.languages.asp.AnswerSet

Return atoms stored in AnswerSet.atoms

getClass(String) - Method in class it.unical.mat.embasp.languages.Mapper

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

getExePath() - Method in class it.unical.mat.embasp.platforms.desktop.DesktopService

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

getInputProgram(int) - Method in class it.unical.mat.embasp.base.Handler

Returns the specified InputProgram element

getInstance() - Static method in class it.unical.mat.embasp.languages.asp.ASPMapper

getInstance() - Static method in class it.unical.mat.embasp.languages.pddl.PDDLMapper

getLevelWeight() - Method in class it.unical.mat.embasp.languages.asp.AnswerSet

getName() - Method in class it.unical.mat.embasp.languages.pddl.Action

getObject(String) - Method in class it.unical.mat.embasp.languages.Mapper

Returns an Object for the given string

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

getOptionDescriptor(int) - Method in class it.unical.mat.embasp.base.Handler

Returns the specified OptionDescriptor element

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

Returns values stored in OptionDescriptor.options

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

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

Returns data stored in InputProgram.programs

getProgramsType() - Method in class it.unical.mat.embasp.languages.pddl.PDDLInputProgram

getRawTextFileFromId(Context, int) - Static method in class it.unical.mat.embasp.platforms.android.AndroidUtility

getRawTextFileFromName(Context, String) - Static method in class it.unical.mat.embasp.platforms.android.AndroidUtility

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

get separator character

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

get separator character

getString(Object) - Method in class it.unical.mat.embasp.languages.Mapper

Returns data for the given Object

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

Returns files paths for this programs

getValue() - Method in class it.unical.mat.embasp.languages.asp.AnswerSet

getValue() - Method in class it.unical.mat.embasp.languages.asp.SymbolicConstant

getWeights() - Method in class it.unical.mat.embasp.languages.asp.AnswerSet

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