it.unical.mat.embasp.languages.asp.AnswerSet Class Reference

Public Member Functions
	AnswerSet (IList< string > output)
	AnswerSet (IList< string > value, IDictionary< int, int > weightMap)
virtual IList< string >	GetAnswerSet ()
override string	ToString ()

Public Attributes
virtual IList< string >	Value => value
virtual IDictionary< int, int >	LevelWeight => weight_map
virtual IDictionary< int, int >	Weights => new ReadOnlyDictionary<int

Properties
virtual ISet< object >	Atoms [get]

Constructor & Destructor Documentation

AnswerSet() [1/2]

it.unical.mat.embasp.languages.asp.AnswerSet.AnswerSet ( IList< string >  output )

inline

AnswerSet() [2/2]

it.unical.mat.embasp.languages.asp.AnswerSet.AnswerSet ( IList< string >  value, IDictionary< int, int >  weightMap  )

inline

Member Function Documentation

GetAnswerSet()

virtual IList<string> it.unical.mat.embasp.languages.asp.AnswerSet.GetAnswerSet ( )

virtual

ToString()

override string it.unical.mat.embasp.languages.asp.AnswerSet.ToString

(

)

Member Data Documentation

LevelWeight

virtual IDictionary<int, int> it.unical.mat.embasp.languages.asp.AnswerSet.LevelWeight => weight_map

Value

virtual IList<string> it.unical.mat.embasp.languages.asp.AnswerSet.Value => value

Weights

virtual IDictionary<int, int> it.unical.mat.embasp.languages.asp.AnswerSet.Weights => new ReadOnlyDictionary<int

Property Documentation

Atoms

virtual ISet<object> it.unical.mat.embasp.languages.asp.AnswerSet.Atoms

get

---

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

• embasp-programmatic/it/unical/mat/embasp/languages/asp/AnswerSet.cs