C# 클래스 it.unical.mat.parsers.asp.ASPSolversParser

파일 보기 프로젝트 열기: DeMaCS-UNICAL/EmbASP-CSharp

공개 메소드들

메소드	설명
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