control-toolbox/CTProblems.jl

Filter problems

Closed this issue · 1 comments

ocots commented

I have added the possibility to filter the problems you want to get, for instance to make some tests.

You simply have to define a logical condition with the combination of symbols and three operators: !, | and &, respectively for the negation, the disjunction and the conjunction.

Here is an example to get the problems whom description does not contain the pair :exponential and :energy, or contains :toto:

@Problems !(:exponential & :energy) | :toto

Would it be better to define the following operators?

  • !
  • ||
  • &&

Something else?

jbcaillau commented

👍🏽 since there is no short circuit semantics, & and | seem fine

  • 👍1