EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.embasp.languages.datalog.MinimalModel Class Reference

Public Member Functions

 MinimalModel (final Set< String > atomList)
 
Set< String > getAtomsAsStringList ()
 
Set< Object > getAtomsAsObjectSet () throws IllegalAccessException, IllegalArgumentException, InvocationTargetException, NoSuchMethodException, SecurityException, InstantiationException
 

Detailed Description

A collection of data representing a generic Minimal MinimalModel.

See also
HashMap
List

Constructor & Destructor Documentation

◆ MinimalModel()

it.unical.mat.embasp.languages.datalog.MinimalModel.MinimalModel ( final Set< String >  atomList)
inline

Member Function Documentation

◆ getAtomsAsObjectSet()

Set<Object> it.unical.mat.embasp.languages.datalog.MinimalModel.getAtomsAsObjectSet ( ) throws IllegalAccessException, IllegalArgumentException, InvocationTargetException, NoSuchMethodException, SecurityException, InstantiationException
inline

Return atoms stored in atomObjectCollection

Returns
a set of filled atom Objects

◆ getAtomsAsStringList()

Set<String> it.unical.mat.embasp.languages.datalog.MinimalModel.getAtomsAsStringList ( )
inline

Return the current atomStringCollection data

Returns
a set of String objects, each representing a different atom of the model

The documentation for this class was generated from the following file: