Clasp::Input_t Member List

This is the complete list of members for Clasp::Input_t, including all inherited members.

detectFormat(std::istream &prg)	Clasp::Input_t	[static]
parseDimacs(std::istream &prg, SatBuilder &api)	Clasp::Input_t	[static]
parseLparse(std::istream &prg, Asp::LogicProgram &api)	Clasp::Input_t	[static]
parseOPB(std::istream &prg, PBBuilder &api)	Clasp::Input_t	[static]