This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.

Patrick Lühne 9c9995380e

Resolved compiler warnings with clang.

2017-05-09 13:00:44 +02:00

..

expressions

Resolved compiler warnings with clang.

2017-05-09 13:00:44 +02:00

translation

Removed invalid to-do.

2016-12-08 01:58:36 +01:00

Action.h

Started implementing translation for derived predicates.

2016-12-07 01:56:06 +01:00

ConsistencyException.h

Made all error and warning messages lowercase consistently.

2016-06-14 16:53:48 +02:00

Context.h

Refactoring to use cleaner output implementation.

2016-11-29 06:03:05 +01:00

Description.h

Refactoring to use cleaner output implementation.

2016-11-29 06:03:05 +01:00

Domain.h

Merge branch 'develop' of github.com:potassco/plasp into normalization

2016-12-02 01:16:22 +01:00

Expression.h

Refactoring to avoid dynamic casts.

2016-12-07 02:29:48 +01:00

ExpressionContext.h

Implemented variable stack for parsing nested variable lists (as within quantified expressions).

2016-09-06 17:34:07 +02:00

InitialState.h

Implemented At expressions.

2016-06-13 19:02:15 +02:00

IO.h

Major refactoring of underlying Parser class.

2016-08-02 20:33:49 +02:00

Parser.h

Refactoring to use cleaner output implementation.

2016-11-29 06:03:05 +01:00

Problem.h

Refactoring to use cleaner output implementation.

2016-11-29 06:03:05 +01:00

Requirement.h

Added goal-utilities requirement with a warning if used for compatibility.

2016-06-09 15:52:57 +02:00

TranslatorASP.h

Started implementing translation for derived predicates.

2016-12-07 01:56:06 +01:00

VariableStack.h

Implemented variable stack for parsing nested variable lists (as within quantified expressions).

2016-09-06 17:34:07 +02:00