Merge branch 'pddl-parser' of github.com:potassco/plasp into pddl-parser

This commit is contained in:
Patrick Lühne 2016-05-30 12:54:41 +02:00
commit 8d879344f2

View File

@ -24,19 +24,6 @@ Description Description::fromStream(std::istream &istream)
utils::Parser parser(istream); utils::Parser parser(istream);
std::cout << "CHAR1: " << istream.peek() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
std::cout << "char1: " << parser.currentCharacter() << std::endl;
while (true) while (true)
{ {
parser.skipWhiteSpace(); parser.skipWhiteSpace();