Robograms now outputs an arbitrary type (location, direction, etc.) instead of a path
Showing
- current-formalism/Convergence/Algorithm_noB.v 19 additions, 23 deletionscurrent-formalism/Convergence/Algorithm_noB.v
- current-formalism/Convergence/Impossibility_2G_1B.v 19 additions, 13 deletionscurrent-formalism/Convergence/Impossibility_2G_1B.v
- current-formalism/Core/Formalism.v 100 additions, 53 deletionscurrent-formalism/Core/Formalism.v
- current-formalism/Core/RobotInfo.v 40 additions, 25 deletionscurrent-formalism/Core/RobotInfo.v
- current-formalism/Core/Robots.v 12 additions, 4 deletionscurrent-formalism/Core/Robots.v
- current-formalism/Gathering/Definitions.v 3 additions, 1 deletioncurrent-formalism/Gathering/Definitions.v
- current-formalism/Gathering/Impossibility.v 34 additions, 27 deletionscurrent-formalism/Gathering/Impossibility.v
- current-formalism/Gathering/InR/Algorithm.v 51 additions, 44 deletionscurrent-formalism/Gathering/InR/Algorithm.v
- current-formalism/Gathering/InR/Impossibility.v 15 additions, 14 deletionscurrent-formalism/Gathering/InR/Impossibility.v
- current-formalism/Gathering/InR2/Algorithm.v 37 additions, 43 deletionscurrent-formalism/Gathering/InR2/Algorithm.v
- current-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v 76 additions, 14 deletionscurrent-formalism/Gathering/InR2/FSyncFlexNoMultAlgorithm.v
- current-formalism/Gathering/InR2/Peleg.v 76 additions, 26 deletionscurrent-formalism/Gathering/InR2/Peleg.v
- current-formalism/Gathering/WithMultiplicity.v 5 additions, 2 deletionscurrent-formalism/Gathering/WithMultiplicity.v
- current-formalism/Models/ContinuousGraph.v 341 additions, 771 deletionscurrent-formalism/Models/ContinuousGraph.v
- current-formalism/Models/DiscreteGraph.v 10 additions, 6 deletionscurrent-formalism/Models/DiscreteGraph.v
- current-formalism/Models/Flexible.v 37 additions, 30 deletionscurrent-formalism/Models/Flexible.v
- current-formalism/Models/GraphEquivalence.v 673 additions, 309 deletionscurrent-formalism/Models/GraphEquivalence.v
- current-formalism/Models/Rigid.v 7 additions, 7 deletionscurrent-formalism/Models/Rigid.v
- current-formalism/Models/RigidFlexibleEquivalence.v 94 additions, 49 deletionscurrent-formalism/Models/RigidFlexibleEquivalence.v
- current-formalism/Models/Similarity.v 1 addition, 0 deletionscurrent-formalism/Models/Similarity.v
Loading
Please register or sign in to comment