diff --git a/.gitignore b/.gitignore old mode 100644 new mode 100755 diff --git a/.idea/.gitignore b/.idea/.gitignore old mode 100644 new mode 100755 diff --git a/.idea/compiler.xml b/.idea/compiler.xml old mode 100644 new mode 100755 diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__com_github_cp_profiler_cpprof_java_1_3_0.xml b/.idea/libraries/Maven__com_github_cp_profiler_cpprof_java_1_3_0.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__com_google_protobuf_protobuf_java_2_6_1.xml b/.idea/libraries/Maven__com_google_protobuf_protobuf_java_2_6_1.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__dk_brics_automaton_automaton_1_11_8.xml b/.idea/libraries/Maven__dk_brics_automaton_automaton_1_11_8.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__junit_junit_4_13_2.xml b/.idea/libraries/Maven__junit_junit_4_13_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__net_sf_trove4j_trove4j_3_0_3.xml b/.idea/libraries/Maven__net_sf_trove4j_trove4j_3_0_3.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_antlr_ST4_4_0_8.xml b/.idea/libraries/Maven__org_antlr_ST4_4_0_8.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_antlr_antlr_3_5_2.xml b/.idea/libraries/Maven__org_antlr_antlr_3_5_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_antlr_antlr_runtime_3_5_2.xml b/.idea/libraries/Maven__org_antlr_antlr_runtime_3_5_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_choco_solver_choco_sat_1_0_2.xml b/.idea/libraries/Maven__org_choco_solver_choco_sat_1_0_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_choco_solver_choco_solver_4_0_2.xml b/.idea/libraries/Maven__org_choco_solver_choco_solver_4_0_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_choco_solver_cutoffseq_1_0_2.xml b/.idea/libraries/Maven__org_choco_solver_cutoffseq_1_0_2.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_hamcrest_hamcrest_core_1_3.xml b/.idea/libraries/Maven__org_hamcrest_hamcrest_core_1_3.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_javabits_jgrapht_jgrapht_core_0_9_3.xml b/.idea/libraries/Maven__org_javabits_jgrapht_jgrapht_core_0_9_3.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_jfree_jcommon_1_0_23.xml b/.idea/libraries/Maven__org_jfree_jcommon_1_0_23.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_jfree_jfreechart_1_0_19.xml b/.idea/libraries/Maven__org_jfree_jfreechart_1_0_19.xml old mode 100644 new mode 100755 diff --git a/.idea/libraries/Maven__org_mongodb_mongo_java_driver_3_12_9.xml b/.idea/libraries/Maven__org_mongodb_mongo_java_driver_3_12_9.xml old mode 100644 new mode 100755 diff --git a/.idea/misc.xml b/.idea/misc.xml old mode 100644 new mode 100755 diff --git a/.idea/modules.xml b/.idea/modules.xml old mode 100644 new mode 100755 diff --git a/.idea/vcs.xml b/.idea/vcs.xml old mode 100644 new mode 100755 diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs old mode 100644 new mode 100755 diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs old mode 100644 new mode 100755 diff --git a/.travis.yml b/.travis.yml old mode 100644 new mode 100755 diff --git a/LICENSE.txt b/LICENSE.txt old mode 100644 new mode 100755 diff --git a/README.md b/README.md old mode 100644 new mode 100755 diff --git a/dependency-reduced-pom.xml b/dependency-reduced-pom.xml old mode 100644 new mode 100755 diff --git a/etc/deliberative.properties b/etc/deliberative.properties old mode 100644 new mode 100755 diff --git a/etc/executive.properties b/etc/executive.properties old mode 100644 new mode 100755 diff --git a/pom.xml b/pom.xml old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/Planner.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/Planner.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/PlannerBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/PlannerBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/FlawSelectionHeuristic.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/FlawSelectionHeuristic.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/HierarchicalFlawSelectionHeuristic.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/HierarchicalFlawSelectionHeuristic.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/RandomFlawSelectionHeuristic.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/RandomFlawSelectionHeuristic.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/ReverseHierarchicalFlawSelectionHeuristic.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/ReverseHierarchicalFlawSelectionHeuristic.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/FailFirstFlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/FailFirstFlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/FlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/FlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/HierarchicalPlanFlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/HierarchicalPlanFlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/HierarchyFlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/HierarchyFlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/PipelineFlawSelectionHeuristic.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/PipelineFlawSelectionHeuristic.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/PreferenceFlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/PreferenceFlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/ReverseHierarchyFlawInspector.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/heuristic/pipeline/ReverseHierarchyFlawInspector.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/Operator.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/Operator.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/PseudoControllabilityAwareSolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/PseudoControllabilityAwareSolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/SearchSpaceNode.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/SearchSpaceNode.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/Solver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/solver/Solver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/CostDepthSearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/CostDepthSearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/DepthFirstSearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/DepthFirstSearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/GreedyDepthSearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/GreedyDepthSearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/SearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/SearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/StandardDeviationMinimizationSearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/StandardDeviationMinimizationSearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/WeightedAStarSearchStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/WeightedAStarSearchStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/ex/EmptyFringeException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/deliberative/strategy/ex/EmptyFringeException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/AtomicClockManager.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/AtomicClockManager.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ClockManager.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ClockManager.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutionManager.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutionManager.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutionStatus.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutionStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/Executive.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/Executive.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutiveBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/ExecutiveBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/PlanExecutionObserver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/PlanExecutionObserver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/dispatcher/ConditionCheckingDispatcher.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/dispatcher/ConditionCheckingDispatcher.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/dispatcher/Dispatcher.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/dispatcher/Dispatcher.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ExecutionFeedback.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ExecutionFeedback.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ExecutionFeedbackType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ExecutionFeedbackType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/ExecutionException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/ExecutionException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/ExecutionPreparationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/ExecutionPreparationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeDispatchingException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeDispatchingException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeExecutionErrorException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeExecutionErrorException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeObservationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/ex/NodeObservationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/ExecutionFailureCause.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/ExecutionFailureCause.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/ExecutionFailureCauseType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/ExecutionFailureCauseType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeDurationOverflow.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeDurationOverflow.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeExecutionError.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeExecutionError.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeStartOverflow.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/NodeStartOverflow.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/PlanRepairInformation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/lang/failure/PlanRepairInformation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/monitor/ConditionCheckingMonitor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/monitor/ConditionCheckingMonitor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/monitor/Monitor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/monitor/Monitor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ControllabilityType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ControllabilityType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutionNode.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutionNode.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutionNodeStatus.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutionNodeStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBase.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBase.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBaseBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBaseBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBaseType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/ExecutivePlanDataBaseType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/NodePredicate.java b/src/main/java/it/cnr/istc/pst/platinum/ai/executive/pdb/NodePredicate.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/DomainComponentBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/DomainComponentBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/PlanDataBaseBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/PlanDataBaseBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValue.java old mode 100644 new mode 100755 index ec63af1e..1d431d31 --- a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValue.java +++ b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValue.java @@ -213,6 +213,6 @@ public boolean equals(Object obj) { @Override public String toString() { // JSON style object description - return "{ id: " + this.id+ ", label: \"" + this.label + "\", component: \"" + this.component.getName() + "\" }"; + return "{\"label\": \"" + this.label + "\"}"; } } diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValueType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ComponentValueType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Constraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Constraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Decision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Decision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/DomainComponent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/DomainComponent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/DomainComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/DomainComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ParameterPlaceHolder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ParameterPlaceHolder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/PlanDataBase.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/PlanDataBase.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/PlanElementStatus.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/PlanElementStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Predicate.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Predicate.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Token.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/Token.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/DecisionNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/DecisionNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/DecisionPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/DecisionPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/FlawSolutionApplicationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/FlawSolutionApplicationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/RelationPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/RelationPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/ResourceProfileComputationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/ResourceProfileComputationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/TransitionNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/ex/TransitionNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/DecisionVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/DecisionVariable.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/ParameterSynchronizationConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/ParameterSynchronizationConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseComponent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseComponent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseEventType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseEventType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseObserver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/PlanDataBaseObserver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/SynchronizationConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/SynchronizationConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/SynchronizationRule.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/SynchronizationRule.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/TemporalSynchronizationConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/TemporalSynchronizationConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/TokenVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/pdb/TokenVariable.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/Resource.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/Resource.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceEventType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceEventType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceProfile.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceProfile.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceProfileSample.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/ResourceProfileSample.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/DiscreteResource.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/DiscreteResource.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/DiscreteResourceProfile.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/DiscreteResourceProfile.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceProfileSample.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceProfileSample.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/discrete/RequirementResourceValue.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ConsumptionResourceEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ConsumptionResourceEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ProductionResourceEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ProductionResourceEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ReservoirResource.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ReservoirResource.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ReservoirResourceProfile.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ReservoirResourceProfile.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceConsumptionValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceConsumptionValue.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceProductionValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceProductionValue.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceUsageProfileSample.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceUsageProfileSample.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceUsageValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/resource/reservoir/ResourceUsageValue.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/ExternalStateVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/ExternalStateVariable.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/FunctionalStateVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/FunctionalStateVariable.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/PrimitiveStateVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/PrimitiveStateVariable.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/RequirementStateVariableResourceEvent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/RequirementStateVariableResourceEvent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariable.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariable.java old mode 100644 new mode 100755 index a4a63ae2..6c6eb223 --- a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariable.java +++ b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariable.java @@ -1,7 +1,6 @@ package it.cnr.istc.pst.platinum.ai.framework.domain.component.sv; import java.util.ArrayList; -import java.util.Collections; import java.util.HashMap; import java.util.List; import java.util.Map; @@ -129,89 +128,59 @@ public List getDirectSuccessors(ComponentValue value) { * @param target * @return */ - public List getPaths(ComponentValue source, ComponentValue target) - { - // list of all acyclic paths that start from the source value and end to the target value - List result = new ArrayList<>(); - // check the case in which the source value is equal to the target value - if (source.equals(target)) - { - // just start the search starting from the direct successors of the current value - for (ComponentValue successor : this.getDirectSuccessors(source)) - { - // just avoid reflexive transition (that should not be allowed in the domain specification) - if (!source.equals(successor)) { - // get list of paths - for (ValuePath path : this.computePaths(successor, target, new ArrayList<>())) { - // add the source value in front of the path - path.addFirstStep(source); - // add the path to the result list - result.add(path); - } - } - } - } - else { - // call recursive function to compute all acyclic paths between state variable values - result = this.computePaths(source, target, new ArrayList<>()); - } + public List getPaths(ComponentValue source, ComponentValue target) { - // sort paths according to their length - Collections.sort(result); + // list of all acyclic paths that start from the source value and end to the target value + List paths = new ArrayList<>(); + // initialize value path + ValuePath path = new ValuePath(); + path.addLastStep(source); + // call recursive method to unfold state variable description and build possible paths + this.computePaths(source, target, path, paths); // get the result list - return result; + return paths; } /** * * @param source * @param target - * @param visited * @return */ - private List computePaths(ComponentValue source, ComponentValue target, List visited) - { - // result list - List result = new ArrayList<>(); + private void computePaths(ComponentValue source, ComponentValue target, ValuePath path, List paths) { //, List visited) { // compare source value and target value if (source.equals(target)) { - // create value path - ValuePath path = new ValuePath(); - // add last step - path.addLastStep(source); - // add to result - result.add(path); - } - else - { - // add current node to visited list - visited.add(source); - // navigate the state variable towards the target value - for (ComponentValue value : this.getDirectSuccessors(source)) - { - // check cycle - if (!visited.contains(value)) - { - // get partial paths found through recursive call - List paths = this.computePaths(value, target, visited); - // aggregate and build the result - for (ValuePath path : paths) - { - // add current value the current (partial) path - path.addFirstStep(source); - // add the current (partial) path to the result list - result.add(path); - } + // add path to the paths + paths.add(path); + + } else { + + // add source to the path +// path.addLastStep(source); + // check successors of the (current) source node + for (ComponentValue successor : this.getDirectSuccessors(source)) { + + // check if the successor is contained in the current value path to avoid cycles + if (!path.contains(successor)) { + // create an alternative path for each successor + ValuePath otherPath = new ValuePath(path.getSteps()); + + // add source + path.addLastStep(source); + // add successor + otherPath.addLastStep(successor); + // recursive call + this.computePaths(successor, target, otherPath, paths); + } +// else { +// +// // log something +// System.out.println("\n>>>>> Source [" + source.getLabel() + "] Successor [" + successor.getLabel()+ "], Target [" + target.getLabel() + "]\n--> skip path: " + path + "\n"); +// } } - - // remove visited value - visited.remove(source); } - - // get list of paths - return result; } /** diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariableResourceProfile.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariableResourceProfile.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariableValue.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/StateVariableValue.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/Transition.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/Transition.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/ValuePath.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/component/sv/ValuePath.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/DomainKnowledge.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/DomainKnowledge.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/DomainKnowledgeType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/DomainKnowledgeType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/StaticDomainKnowledge.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/StaticDomainKnowledge.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/ex/HierarchyCycleException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/domain/knowledge/ex/HierarchyCycleException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/ConstraintCategory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/ConstraintCategory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/ExecutiveObject.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/ExecutiveObject.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/FrameworkObject.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/FrameworkObject.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/FrameworkLoggerConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/FrameworkLoggerConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/FlawSelectionHeuristicsConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/FlawSelectionHeuristicsConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/PipelineConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/PipelineConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/PlannerSolverConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/PlannerSolverConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/SearchStrategyConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/deliberative/SearchStrategyConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/executive/DispatcherConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/executive/DispatcherConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/executive/MonitorConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/executive/MonitorConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/DomainComponentConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/DomainComponentConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/DomainKnowledgeConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/DomainKnowledgeConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/ParameterFacadeConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/ParameterFacadeConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/TemporalFacadeConfiguration.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/cfg/framework/TemporalFacadeConfiguration.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/FrameworkLoggerPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/FrameworkLoggerPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/FlawSelectionHeuristicPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/FlawSelectionHeuristicPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PipelinePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PipelinePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PlannerPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PlannerPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PlannerSolverPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/PlannerSolverPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/SearchStrategyPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/deliberative/SearchStrategyPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/DispatcherPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/DispatcherPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/ExecutivePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/ExecutivePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/ExecutivePlanDataBasePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/ExecutivePlanDataBasePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/MonitorPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/executive/MonitorPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/DomainComponentPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/DomainComponentPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/DomainKnowledgePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/DomainKnowledgePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ParameterFacadePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ParameterFacadePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ParameterSolverPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ParameterSolverPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/PlanDataBasePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/PlanDataBasePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ResolverListPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/ResolverListPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalFacadePlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalFacadePlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalNetworkPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalNetworkPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalSolverPlaceholder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/inject/framework/TemporalSolverPlaceholder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/lifecycle/PostConstruct.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/annotation/lifecycle/PostConstruct.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ConsistencyCheckException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ConsistencyCheckException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ConstraintPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ConstraintPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/DomainComponentNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/DomainComponentNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/NoFlawFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/NoFlawFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/NoSolutionFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/NoSolutionFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/OperatorPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/OperatorPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/PlanRefinementException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/PlanRefinementException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ProblemInitializationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/ProblemInitializationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/SynchronizationCycleException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/ex/SynchronizationCycleException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/Flaw.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/Flaw.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawCategoryType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawCategoryType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawSolution.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawSolution.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/flaw/FlawType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Agenda.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Agenda.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Plan.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Plan.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/PlanControllabilityType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/PlanControllabilityType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Profile.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Profile.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/SolutionPlan.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/SolutionPlan.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Timeline.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/plan/Timeline.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ParameterProblemConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ParameterProblemConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/Problem.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/Problem.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFact.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFact.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFluent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFluent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFluentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemFluentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemGoal.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/ProblemGoal.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/TemporalProblemConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/problem/TemporalProblemConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/Relation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/Relation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/RelationType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/RelationType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/BindParameterRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/BindParameterRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/EqualParameterRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/EqualParameterRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/NotEqualParameterRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/NotEqualParameterRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/ParameterRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/parameter/ParameterRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/AfterRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/AfterRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/BeforeRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/BeforeRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/ContainsRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/ContainsRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/DuringRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/DuringRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EndEndRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EndEndRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EndsDuringRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EndsDuringRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EqualsRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/EqualsRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/MeetsRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/MeetsRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/MetByRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/MetByRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/StartStartRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/StartStartRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/StartsDuringRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/StartsDuringRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/TemporalRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/lang/relations/temporal/TemporalRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQueryFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQueryFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQueryType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/ParameterQueryType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/Query.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/Query.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/QueryManager.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/QueryManager.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQueryFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQueryFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQueryType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/query/TemporalQueryType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/FlawManager.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/FlawManager.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/Resolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/Resolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ResolverBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ResolverBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ResolverType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ResolverType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/InvalidBehaviorException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/InvalidBehaviorException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleExpansionException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleExpansionException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleGapCompletionException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleGapCompletionException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleUnificationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/NotFeasibleUnificationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/UnsolvableFlawException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/ex/UnsolvableFlawException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/Goal.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/Goal.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalExpansion.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalExpansion.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalJustification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalJustification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalSchedule.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalSchedule.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalUnification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/GoalUnification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/PlanRefinementResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/PlanRefinementResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/TimelineAwarePlanRefinementResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/plan/TimelineAwarePlanRefinementResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/CriticalSet.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/CriticalSet.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/DiscreteResourceSchedulingResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/DiscreteResourceSchedulingResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/PrecedenceConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/discrete/PrecedenceConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ReservoirOverflow.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ReservoirOverflow.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ReservoirResourceSchedulingResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ReservoirResourceSchedulingResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ResourceEventSchedule.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/resource/reservoir/ResourceEventSchedule.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/IncompleteBehavior.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/IncompleteBehavior.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/InvalidTransition.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/InvalidTransition.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/MissingObservation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/MissingObservation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/ObservationBehaviorCheckingResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/ObservationBehaviorCheckingResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/TimelineBehaviorCheckingResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/checking/TimelineBehaviorCheckingResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/Gap.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/Gap.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/GapCompletion.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/GapCompletion.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/GapType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/GapType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/TimelineBehaviorPlanningResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/TimelineBehaviorPlanningResolver.java old mode 100644 new mode 100755 index 59699975..d6c5a120 --- a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/TimelineBehaviorPlanningResolver.java +++ b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/behavior/planning/TimelineBehaviorPlanningResolver.java @@ -1,6 +1,7 @@ package it.cnr.istc.pst.platinum.ai.framework.microkernel.resolver.timeline.behavior.planning; import java.util.ArrayList; +import java.util.Collections; import java.util.HashSet; import java.util.List; import java.util.Set; @@ -328,33 +329,34 @@ protected List doFindFlaws() * */ @Override - protected void doComputeFlawSolutions(Flaw flaw) - throws UnsolvableFlawException - { + protected void doComputeFlawSolutions(Flaw flaw) throws UnsolvableFlawException { + + // get the gap Gap gap = (Gap) flaw; // check gap type - switch (gap.getGapType()) - { + switch (gap.getGapType()) { + // incomplete time-line - case INCOMPLETE_TIMELINE : - { + case INCOMPLETE_TIMELINE : { + // check all (acyclic) paths among tokens List paths = this.component.getPaths( gap.getLeftDecision().getValue(), gap.getRightDecision().getValue()); + // sort paths + Collections.sort(paths); // check found solutions if (paths.isEmpty()) { // not gap completion found between the two tokens throw new UnsolvableFlawException("Not gap completion found:\n" + "- gap: " + gap + "\n"); - } - else - { + } else { + // compute a solution for each possible value path - for (ValuePath path : paths) - { + for (ValuePath path : paths) { + // get steps List steps = path.getSteps(); // remove the source and destination values from the path @@ -370,11 +372,11 @@ protected void doComputeFlawSolutions(Flaw flaw) List rCreated = new ArrayList<>(); List rActivated = new ArrayList<>(); - try - { + try { + // check solution feasibility - if (solution.getPath().isEmpty()) - { + if (solution.getPath().isEmpty()) { + // direct token transition between active decisions Decision reference = solution.getLeftDecision(); Decision target = solution.getRightDecision(); @@ -401,17 +403,17 @@ protected void doComputeFlawSolutions(Flaw flaw) rActivated.add(pRel); } } - } - else - { + + } else { + // create the list of the decisions List transition = new ArrayList<>(); // add the gap-left decision transition.add(solution.getLeftDecision()); // intermediate values and related relations can be activated since no synchronization is entailed - for (ComponentValue value : solution.getPath()) - { + for (ComponentValue value : solution.getPath()) { + // create parameters' labels String[] labels = new String[value.getNumberOfParameterPlaceHolders()]; for (int index = 0; index < labels.length; index++) { diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/OverlappingSet.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/OverlappingSet.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/OverlappingSetSchedule.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/OverlappingSetSchedule.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/PrecedenceConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/PrecedenceConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/TimelineSchedulingResolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/microkernel/resolver/timeline/scheduling/TimelineSchedulingResolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ParameterFacade.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ParameterFacade.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ParameterFacadeBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ParameterFacadeBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/AddConstraintParameterNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/AddConstraintParameterNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/AddParameterNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/AddParameterNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/DelConstraintParameterNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/DelConstraintParameterNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/DelParameterNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/DelParameterNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationObserver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationObserver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/event/ParameterNotificationType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/ParameterSolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/ParameterSolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/ParameterSolverType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/ParameterSolverType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/choco/v4/ChocoSolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/csp/solver/choco/v4/ChocoSolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConsistencyException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConsistencyException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConstraintNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConstraintNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConstraintPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterConstraintPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterCreationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterCreationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/ex/ParameterNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/EnumerationParameter.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/EnumerationParameter.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/EnumerationParameterDomain.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/EnumerationParameterDomain.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/NumericParameter.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/NumericParameter.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/NumericParameterDomain.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/NumericParameterDomain.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/Parameter.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/Parameter.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterDomain.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterDomain.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterDomainType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterDomainType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/ParameterType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/BinaryParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/BinaryParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/BindParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/BindParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/EqualParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/EqualParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ExcludeParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ExcludeParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/NotEqualParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/NotEqualParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraintFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraintFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraintType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/constraints/ParameterConstraintType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/query/CheckValuesParameterQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/query/CheckValuesParameterQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/query/ComputeSolutionParameterQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/parameter/lang/query/ComputeSolutionParameterQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ParameterDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ParameterDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ParameterTypeDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ParameterTypeDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/PlanProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/PlanProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ProtocolLanguageFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/ProtocolLanguageFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/TimelineProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/TimelineProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/TokenProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/TokenProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/UnallocatedTokenDescription.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/UnallocatedTokenDescription.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/AfterRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/AfterRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/BeforeRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/BeforeRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/ContainsRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/ContainsRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/DuringRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/DuringRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EndEndRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EndEndRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EndsDuringRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EndsDuringRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EqualsRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/EqualsRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/MeetsRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/MeetsRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/MetByRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/MetByRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/OverlappedByRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/OverlappedByRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/RelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/RelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/RelationProtocolLanguageFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/RelationProtocolLanguageFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartStartRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartStartRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartsDuringRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartsDuringRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartsRelationProtocolDescriptor.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/lang/relation/StartsRelationProtocolDescriptor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQueryFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQueryFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQueryType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/ProtocolQueryType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetFlexibleTimelinesProtocolQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetFlexibleTimelinesProtocolQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetPlanProtocolQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetPlanProtocolQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetSingleFlexibleTimelineProtocolQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/get/GetSingleFlexibleTimelineProtocolQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/show/ShowComponentProtocolQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/protocol/query/show/ShowComponentProtocolQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalFacade.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalFacade.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalFacadeBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalFacadeBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalInterval.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/TemporalInterval.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervaEndTimeException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervaEndTimeException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervalDurationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervalDurationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervalStartTimeException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/InconsistentIntervalStartTimeException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/PseudoControllabilityException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/PseudoControllabilityException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalConsistencyException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalConsistencyException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalConstraintPropagationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalConstraintPropagationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalIntervalCreationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TemporalIntervalCreationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TimePointCreationException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/ex/TimePointCreationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/BinaryTemporalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/BinaryTemporalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/FixIntervalDurationConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/FixIntervalDurationConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/FixTimePointConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/FixTimePointConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraintFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraintFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraintType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/TemporalConstraintType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/UnaryTemporalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/UnaryTemporalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/AfterIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/AfterIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/BeforeIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/BeforeIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/ContainsIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/ContainsIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/DuringIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/DuringIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/EndsDuringIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/EndsDuringIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/EqualsIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/EqualsIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/MeetsIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/MeetsIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/MetByIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/MetByIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/StartsDuringIntervalConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/allen/StartsDuringIntervalConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalDistanceQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalDistanceQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalOverlapQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalOverlapQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalPseudoControllabilityQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalPseudoControllabilityQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalScheduleQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/IntervalScheduleQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/TemporalIntervalQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/lang/query/TemporalIntervalQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/TemporalSolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/TemporalSolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/TemporalSolverType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/TemporalSolverType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/apsp/APSPTemporalSolver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/apsp/APSPTemporalSolver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/apsp/DistanceGraph.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/solver/apsp/DistanceGraph.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/SimpleTemporalNetworkWithUncertainty.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/SimpleTemporalNetworkWithUncertainty.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalData.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalData.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalNetwork.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalNetwork.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalNetworkType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TemporalNetworkType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TimePoint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TimePoint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TimePointDistanceConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/TimePointDistanceConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/DistanceConstraintNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/DistanceConstraintNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/InconsistentDistanceConstraintException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/InconsistentDistanceConstraintException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/InconsistentTpValueException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/InconsistentTpValueException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/IntervalDisjunctionException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/IntervalDisjunctionException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/NotCompatibleConstraintsFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/NotCompatibleConstraintsFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/TemporalNetworkTransactionFailureException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/TemporalNetworkTransactionFailureException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/TimePointNotFoundException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/TimePointNotFoundException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/UnableToHandleContingentConstraintsException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/ex/UnableToHandleContingentConstraintsException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/AddRelationTemporalNetworkNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/AddRelationTemporalNetworkNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/AddTimePointTemporalNetworkNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/AddTimePointTemporalNetworkNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/DelRelationTemporalNetworkNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/DelRelationTemporalNetworkNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/DelTimePointTemporalNetworkNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/DelTimePointTemporalNetworkNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/InitializationTemporalNetworkNotifaction.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/InitializationTemporalNetworkNotifaction.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotification.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotification.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotificationFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotificationFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotificationTypes.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkNotificationTypes.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkObserver.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/TemporalNetworkObserver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/ex/NotificationPropagationFailureException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/event/ex/NotificationPropagationFailureException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointDistanceQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointDistanceQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointDistanceToHorizonQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointDistanceToHorizonQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointScheduleQuery.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/time/tn/lang/query/TimePointScheduleQuery.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/log/FrameworkLogger.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/log/FrameworkLogger.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/log/FrameworkLoggingLevel.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/log/FrameworkLoggingLevel.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/properties/FilePropertyReader.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/properties/FilePropertyReader.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/reflection/FrameworkReflectionUtils.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/reflection/FrameworkReflectionUtils.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentView.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentView.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentViewFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentViewFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentViewType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/ComponentViewType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/gantt/GanttComponentView.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/component/gantt/GanttComponentView.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/executive/ExecutiveWindow.java b/src/main/java/it/cnr/istc/pst/platinum/ai/framework/utils/view/executive/ExecutiveWindow.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompiler.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompiler.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompilerFactory.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompilerFactory.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompilerType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/DomainCompilerType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/ex/PDLFileMissingException.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/ex/PDLFileMissingException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/DDLv3Compiler.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/DDLv3Compiler.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/ddl3.g b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/ddl3.g old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/ddl3.tokens b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/ddl3.tokens old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponent.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentDecisionType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentDecisionType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLConsumableResourceComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLConsumableResourceComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLConsumableResourceComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLConsumableResourceComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLDomain.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLDomain.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLEnumerationParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLEnumerationParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLEnumerationParameterType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLEnumerationParameterType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLGenerator.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLGenerator.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLInstantiatedComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLInstantiatedComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLNumericParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLNumericParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLNumericParameterType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLNumericParameterType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterConstraintType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterConstraintType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterSet.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterSet.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLParameterType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLProblem.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLProblem.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRange.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRange.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRenewableResourceComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRenewableResourceComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRenewableResourceComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLRenewableResourceComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentDecisionType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentDecisionType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableTransitionConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSimpleGroundStateVariableTransitionConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentDecision.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentDecision.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentDecisionType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentDecisionType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableComponentType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableTransitionConstraint.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSingletonStateVariableTransitionConstraint.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSynchronization.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLSynchronization.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalModule.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalModule.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalRelation.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalRelationType.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTemporalRelationType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTimeline.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTimeline.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTimelineSynchronization.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/DDLTimelineSynchronization.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/PDLGenerator.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/PDLGenerator.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/ddl3Lexer.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/ddl3Lexer.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/ddl3Parser.java b/src/main/java/it/cnr/istc/pst/platinum/ai/lang/ddl/v3/parser/ddl3Parser.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/acting/ActingAgentStatus.java b/src/main/java/it/cnr/istc/pst/platinum/control/acting/ActingAgentStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/acting/ContingencyHandlerProcess.java b/src/main/java/it/cnr/istc/pst/platinum/control/acting/ContingencyHandlerProcess.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/acting/DeliberativeProcess.java b/src/main/java/it/cnr/istc/pst/platinum/control/acting/DeliberativeProcess.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/acting/ExecutiveProcess.java b/src/main/java/it/cnr/istc/pst/platinum/control/acting/ExecutiveProcess.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/acting/GoalOrientedActingAgent.java b/src/main/java/it/cnr/istc/pst/platinum/control/acting/GoalOrientedActingAgent.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/AgentTaskDescription.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/AgentTaskDescription.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/Goal.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/Goal.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/GoalStatus.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/GoalStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformCommand.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformCommand.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformCommandDescription.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformCommandDescription.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformFeedback.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformFeedback.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformFeedbackType.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformFeedbackType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformMessage.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformMessage.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformObservation.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/PlatformObservation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/TokenDescription.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/TokenDescription.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/ex/PlatformCommunicationException.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/ex/PlatformCommunicationException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/lang/ex/PlatformException.java b/src/main/java/it/cnr/istc/pst/platinum/control/lang/ex/PlatformException.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformObserver.java b/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformObserver.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformProxy.java b/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformProxy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformProxyBuilder.java b/src/main/java/it/cnr/istc/pst/platinum/control/platform/PlatformProxyBuilder.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/control/platform/RunnablePlatformProxy.java b/src/main/java/it/cnr/istc/pst/platinum/control/platform/RunnablePlatformProxy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCDispatcher.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCDispatcher.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCExecutive.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCExecutive.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCMonitor.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCMonitor.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCResult.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCResult.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCResultType.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DCResultType.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DispatchDCResult.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/DispatchDCResult.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/FailureDCResult.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/FailureDCResult.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/PlanExecutionStatus.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/PlanExecutionStatus.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/WaitDCResult.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/WaitDCResult.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/ListStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/ListStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/State.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/State.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/StateSet.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/StateSet.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/StateStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/StateStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/Strategy.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/Strategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/TreeNodeState.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/TreeNodeState.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/TreeStrategy.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/TreeStrategy.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/clock/ClockRelation.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/clock/ClockRelation.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/clock/ClockSet.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/clock/ClockSet.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/loader/StrategyLoader.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/loader/StrategyLoader.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Action.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Action.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Transition.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Transition.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Wait.java b/src/main/java/it/cnr/istc/pst/platinum/executive/dc/strategy/result/Wait.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/stats/ModelDataset.java b/src/main/java/it/cnr/istc/pst/platinum/stats/ModelDataset.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/stats/TokenExecutionData.java b/src/main/java/it/cnr/istc/pst/platinum/stats/TokenExecutionData.java old mode 100644 new mode 100755 diff --git a/src/main/java/it/cnr/istc/pst/platinum/stats/mongo/MongoModelDataset.java b/src/main/java/it/cnr/istc/pst/platinum/stats/mongo/MongoModelDataset.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/domain/component/pdb/PlanDataBaseTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/domain/component/pdb/PlanDataBaseTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/domain/component/resource/DiscreteResourceComponentTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/domain/component/resource/DiscreteResourceComponentTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/domain/component/sv/ExternalStateVariableComponentTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/domain/component/sv/ExternalStateVariableComponentTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/domain/component/sv/StateVariableComponentTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/domain/component/sv/StateVariableComponentTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/parameter/csp/v4/ChochoSolverUnitTest.java b/src/test/java/it/cnr/istc/pst/platinum/parameter/csp/v4/ChochoSolverUnitTest.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/parameter/csp/v4/ParameterTestFactory.java b/src/test/java/it/cnr/istc/pst/platinum/parameter/csp/v4/ParameterTestFactory.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/parameter/facade/CSPParameterDataBaseFacadeTest.java b/src/test/java/it/cnr/istc/pst/platinum/parameter/facade/CSPParameterDataBaseFacadeTest.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/stats/mongo/MongoModelDatasetTest.java b/src/test/java/it/cnr/istc/pst/platinum/stats/mongo/MongoModelDatasetTest.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/testing/executive/dc/strategy/TestListStrategy.java b/src/test/java/it/cnr/istc/pst/platinum/testing/executive/dc/strategy/TestListStrategy.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/testing/executive/dc/strategy/TestTreeStrategy.java b/src/test/java/it/cnr/istc/pst/platinum/testing/executive/dc/strategy/TestTreeStrategy.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/time/facade/UncertaintyTemporalDataBaseFacadeTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/time/facade/UncertaintyTemporalDataBaseFacadeTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/time/reasoner/apsp/APSPSolverTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/time/reasoner/apsp/APSPSolverTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/time/tn/SimpleTemporalNetworkTestCase.java b/src/test/java/it/cnr/istc/pst/platinum/time/tn/SimpleTemporalNetworkTestCase.java old mode 100644 new mode 100755 diff --git a/src/test/java/it/cnr/istc/pst/platinum/time/tn/SimpleTemporalNetworkWithUncertaintyTestCaseTest.java b/src/test/java/it/cnr/istc/pst/platinum/time/tn/SimpleTemporalNetworkWithUncertaintyTestCaseTest.java old mode 100644 new mode 100755