C# Class it.unical.mat.parsers.asp.ASPSolversParser

Afficher le fichier Open project: DeMaCS-UNICAL/EmbASP-CSharp

Méthodes publiques

Méthode	Description
ParseClingo ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
ParseDLV ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
ParseDLV2 ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
ParseDLVHEX ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void

Method Details

ParseClingo() public static méthode

public static ParseClingo ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Résultat	void

ParseDLV() public static méthode

public static ParseDLV ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Résultat	void

ParseDLV2() public static méthode

public static ParseDLV2 ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Résultat	void

ParseDLVHEX() public static méthode

public static ParseDLVHEX ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Résultat	void