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

ファイルを表示 Open project: DeMaCS-UNICAL/EmbASP-CSharp

Public Methods

Method	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 method

public static ParseClingo ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
return	void

ParseDLV() public static method

public static ParseDLV ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
return	void

ParseDLV2() public static method

public static ParseDLV2 ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
return	void

ParseDLVHEX() public static method

public static ParseDLVHEX ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
return	void