Proto commits in aiplan4eu/unified-planning

These 100 commits are when the Protocol Buffers files have changed:

Commit:0b9c4ad
Author:Arthur Bit-Monnot

fix(protobuf): Add missing problem features for scheduling.

Commit:9e201f3
Author:Arthur Bit-Monnot

wip(opt-activities): add protobuf serailization (cutting several corners)

Commit:db9da08
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

chore: update protobuf with new feates (undef init)

Commit:d96af38
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

chore: rename feature to UNDEFINED_INITIAL_SYMBOLIC

The documentation is generated from this commit.

Commit:51950ae
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

doc: update comments regarding initial state in .proto defintions

Commit:1d4e644
Author:Alessandro Valentini
Committer:Alessandro Valentini

Updated result classes

Commit:3bdd749
Author:Luca Framba
Committer:Luca Framba

Added new file to handle problem kind's versioning and updated all internal engines ProblemKinds

Commit:0757283
Author:Luca Framba

Minor

Commit:3dc31f5
Author:Luca Framba
Committer:Luca Framba

Added some tests, pddl fix and grpc support

Commit:35cecad
Author:Alessandro Valentini
Committer:Alessandro Valentini

Updated supported kind of several engines

Commit:1466b36
Author:Arthur Bit-Monnot

feat(scheduling): Add support for (de)serializing scheduling problems to protobuf.

Commit:e10779a
Author:Luca Framba

Added UNKNOWN to ValidationResultStatus, added epsilon, self_overlapping and discrete_time to grpc and added a check that in an assignment there are no fluents in the arguments of the main fluent

Commit:b7b6c6b
Author:Luca Framba

fix after rebase

Commit:454f0b8
Author:Luca Framba
Committer:Luca Framba

Implemented requested changes

Commit:7907035
Author:Luca Framba
Committer:Luca Framba

Fix after rebase

Commit:1d838bd
Author:Luca Framba
Committer:Luca Framba

Added constraints on parameters and reflection of their types in the problem_kind

Commit:48dd0a9
Author:Luca Framba
Committer:Luca Framba

Added support in GRPC, UP simulator and UP validator

Commit:c37413a
Author:Luca Framba
Committer:Luca Framba

Initial implementation of global constraints and compiler

Commit:ef553d4
Author:Luca Framba
Committer:Luca Framba

changed global constraints to state invariants

Commit:e370cdf
Author:Luca Framba
Committer:Luca Framba

Fixed grpc after rebase

Commit:44ac89d
Author:Luca Framba

Added self_overlapping to problem_kind and to engines supporting time in the up

Commit:805538f
Author:Luca Framba
Committer:Alessandro Valentini

SImple renaming

Commit:bc22b91
Author:Luca Framba
Committer:Alessandro Valentini

Fixed last problem_kind

Commit:e843618
Author:Luca Framba
Committer:Alessandro Valentini

added new problem kinds

Commit:46cc97d
Author:Luca Framba
Committer:Alessandro Valentini

Added fluents_in_actions_cost problem kinds

Commit:6c5bf5e
Author:Luca Framba
Committer:Alessandro Valentini

feat(ProblemKind & PDDLWriter): problem_kind discriminates between constant and non constant boolean/numeric assignments. The PDDLWriter writes non conditional bool assignments as conditional effects, but only if the feature is enabled explicitly. Still missing tests and documentation

Commit:23bc990
Author:Alessandro Valentini

Fixed proto

Commit:a717ed9
Author:Alessandro Valentini

Minor renaming

Commit:338e01f
Author:Alessandro Valentini
Committer:Alessandro Valentini

Added temporal oversubscription metric

Commit:9a1f4bf
Author:Alessandro Valentini

Added new problem feature to represent out-of-action conditions and effects

Commit:70cd21c
Author:Luca Framba
Committer:Luca Framba

backup commit

Commit:13d65e3
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

feat(htn): Allow (de)serialization of hierarchical plans to/from protobuf.

Commit:37253fe
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

Add plan hierarchy to protobuf

Commit:41808a6
Author:Arthur Bit-Monnot

feat(htn): Add new features to characterize hierarchical problems.

Commit:243e932
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

htn: Account for method preconditions in problem kind.

Commit:fdff5d6
Author:Alessandro Valentini
Committer:Alessandro Valentini

Updated proto interface

Commit:0a0c995
Author:stoppini
Committer:stoppini

modify for CICD

Commit:4263d0b
Author:stoppini

fix after merge

This commit does not contain any .proto files.

Commit:335e9c7
Author:Luca Framba
Committer:Luca Framba

Added simple_numeric_planning to all planners and finished i'ts implementation

Commit:26577bb
Author:Luca Framba
Committer:Luca Framba

Adde GENERAL_NUMERIC_PLANNING if a problem with numbers is not SIMPLE_NUMERIC_PLANNING

Commit:d1059b7
Author:Alessandro Valentini

Minor improvements and added a notebook showing oversubscription planning and MetaEngine usage

Commit:1f2df32
Author:Alessandro Valentini
Committer:Alessandro Valentini

Added modeling support to define oversubscription planning problems

Commit:203f233
Author:Alessandro Valentini
Committer:Alessandro Valentini

Minor changes after @mikand code review

Commit:e9ccb6d
Author:Alessandro Valentini
Committer:Alessandro Valentini

Extend support to not constant actions duration

Commit:ca5ca52
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

[proto] Prefix all builtin types/operators with `up:` In the protobuf format this means that `"up:add"` refers to the built-in ADD operator in the UPF. This should avoid any collision with user defined values.

Commit:3fe97af
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

[proto] Group the various HTN-related fields into a single `Hierarchy` message.

Commit:65198be
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

[proto] Conversion of abstract tasks.

Commit:5509e35
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

[htn] Add HIERARCHICAL feature to protobuf and handle empty problem names.

Commit:ef4c4ae
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

[proto] Fix overlapping IDs in protobuf as a result of the previous merge.

Commit:f1f7b82
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Initial draft of HTN support in protobuf format

Commit:8e1d13c
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Fix: field identifier in Method

Commit:84fe1fc
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Fix naming of abstract task declaration

Commit:a8de4fc
Author:stoppini

Move the trajectory constraint reconizer inside the expression class. Require fix relative test case

This commit does not contain any .proto files.

Commit:f7904f1
Author:Alessandro Valentini
Committer:Alessandro Valentini

Updated proto according to the engines package refactoring

Commit:ed5e7f3
Author:Alessandro Valentini
Committer:Alessandro Valentini

Refactored the Problem class using mixins

Commit:1c4933f
Author:Framba-Luca

Increased uniformity between proto and up

Commit:9a297ea
Author:Framba-Luca

Changed planner name with engine in proto file, fixed parallel solver, Fixed results defaults

Commit:a7d9f4f
Author:Framba-Luca

Implemented a field log_messages and planner_name for every kind of result, so that more information can be given from the planner to the user

Commit:44a66b2
Author:Framba-Luca
Committer:Framba-Luca

Changed GroudningResult.lift_plan field name; Updated GRPC with the 2 new classes

Commit:757d8ed
Author:Framba-Luca
Committer:Framba-Luca

Simplified Transformers code by resolving of issue #105 and updated protobuf

Commit:94e4c77
Author:Framba-Luca
Committer:Framba-Luca

Implemented some requested changes

Commit:d92e27d
Author:Arthur Bit-Monnot

[protobuf] Support default action costs.

Commit:4de0d84
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Use fractions to represent non-integer numbers.

Commit:d152a77
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Support planner name in PlanGenerationResult.

Commit:3ff9811
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Support problem features in the protobuf format.

Commit:197f3fa
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Add a `variable` expression kind, to support existentally or universally qualified variables.

Commit:1ef7070
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Align documentation: if the an effect is unconditional, the the condition field is set to "true".

Commit:7ed2d3c
Author:Uwe Köckemann
Committer:Arthur Bit-Monnot

Continued work on conversion

Commit:1d63515
Author:Uwe Köckemann
Committer:Arthur Bit-Monnot

Missing proto writer methods, tests, continued proto reader

Commit:5457f3b
Author:Uwe Köckemann
Committer:Arthur Bit-Monnot

Converting between UP and Protobuf + some comments in PB def

Commit:43ff15c
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Support default values of fluents.

Commit:25ac34e
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

[protobuf] Support bounded real types.

Commit:b8c3a88
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

Fix incorrect protobuf definition related to metrics.

Commit:64ffa83
Author:Framba-Luca

Renamed results STATUS and updated up-tamer and up-pyperplan commit references

Commit:8e407be
Author:Framba-Luca
Committer:Framba-Luca

Implemented requested changes

Commit:96b6313
Author:Framba-Luca
Committer:Framba-Luca

Implemented a method for pddl solvers to return the status of their plan

Commit:badd2f6
Author:Framba-Luca
Committer:Framba-Luca

Implemented some requested changes and created an addiotional method for the TimeTriggeredPlan class.

Commit:17caf05
Author:Alessandro Valentini

Added metrics to proto file

Commit:ec5dd1a
Author:Alessandro Valentini

Minor update of Feature message

Commit:040a44c
Author:Arthur Bit-Monnot

Clean up documentation and fix some names.

Commit:3b22abd
Author:Arthur Bit-Monnot
Committer:Arthur Bit-Monnot

Split `TemporalQualification` into `TimeInterval` for conditions and `Timing` for effects.

Commit:522ce3f
Author:Alessandro Valentini

Moved proto file

Commit:f40fe36
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Update mostly related to naming after @alvalentini suggestions

Commit:324f9ee
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Updated proposal, settling most open questions.

Commit:fc6fd23
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Updated proposal to reflect the latest discussion. Notable changes: - initial proposal for the messages related to temporal planning - rename the planner's output to IntermediateReport and FinalReport to clarify their usages - Split the `facts` field of the problem into initial_state and timed_facts

Commit:a967694
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Add the ability of having planner specific options in a plan request

Commit:97814ca
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Base protobuf format proposal

Commit:1674178
Author:Arthur Bit-Monnot
Committer:Alessandro Valentini

Initial propsal from Uwe

Commit:e8f9994
Author:Framba-Luca
Committer:Andrea Micheli

Renamed upf in unified_planning

Commit:5e7b643
Author:Alessandro Valentini
Committer:Andrea Micheli

Rebase protobuf and grpc work by @uwe-koeckemann on top of master with some refactoring

Commit:4ac0b0f
Author:Framba-Luca
Committer:Andrea Micheli

deleted upf

Commit:c2dd47f
Author:Framba-Luca
Committer:Andrea Micheli

renamed upf.proto in unified_planning.proto

Commit:a88d345
Author:Uwe Köckemann

Merge branch 'grpc-server' of github.com:aiplan4eu/upf into grpc-server

Commit:faa6201
Author:Uwe Köckemann

Minor changes, __main__ for server

Commit:6820288
Author:Uwe Köckemann
Committer:Andrea Micheli

Action instance updated

Commit:9b84e21
Author:Uwe Köckemann
Committer:Andrea Micheli

Added protobuf factory and tests, problem 2 Message and reverse works

Commit:0ab6113
Author:Uwe Köckemann
Committer:Andrea Micheli

grpc server, client and test cases

Commit:b6fa59f
Author:Uwe Köckemann

grpc server, client and test cases

Commit:14e8704
Author:Uwe Köckemann

Action instance updated

Commit:7cf1dd3
Author:Uwe Köckemann

Added protobuf factory and tests, problem 2 Message and reverse works