C# Класс it.unical.mat.parsers.asp.ASPSolversParser

Показать файл Открыть проект

Открытые методы

Метод	Описание
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

Описание методов

ParseClingo() публичный статический Метод

public static ParseClingo ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Результат	void

ParseDLV() публичный статический Метод

public static ParseDLV ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Результат	void

ParseDLV2() публичный статический Метод

public static ParseDLV2 ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Результат	void

ParseDLVHEX() публичный статический Метод

public static ParseDLVHEX ( IASPDataCollection answerSets, string atomsList, bool two_stageParsing ) : void
answerSets	IASPDataCollection
atomsList	string
two_stageParsing	bool
Результат	void