Skip to content
Snippets Groups Projects

Update isolation DaVinciExample

Merged Tommaso Fulghesu requested to merge test-isolation-rd-hackathon into master
1 file
+ 12
4
Compare changes
  • Side-by-side
  • Inline
@@ -142,10 +142,18 @@ def main(options: Options):
# Add extra variables to the branch of the B
extra_variables = FunctorCollection(
{
f"{new_coneangle_str}_Max_P": F.MAXCONE(Functor=F.P, Relations=b_cc_isoAlg_Rels),
f"{new_coneangle_str}_Min_P": F.MINCONE(Functor=F.P, Relations=b_cc_isoAlg_Rels),
f"{new_coneangle_str}_Max_PT": F.MAXCONE(Functor=F.PT, Relations=b_cc_isoAlg_Rels),
f"{new_coneangle_str}_Min_PT": F.MINCONE(Functor=F.PT, Relations=b_cc_isoAlg_Rels),
f"{new_coneangle_str}_Max_P": F.MAXCONE(
Functor=F.P, Relations=b_cc_isoAlg_Rels
),
f"{new_coneangle_str}_Min_P": F.MINCONE(
Functor=F.P, Relations=b_cc_isoAlg_Rels
),
f"{new_coneangle_str}_Max_PT": F.MAXCONE(
Functor=F.PT, Relations=b_cc_isoAlg_Rels
),
f"{new_coneangle_str}_Min_PT": F.MINCONE(
Functor=F.PT, Relations=b_cc_isoAlg_Rels
),
}
)
Loading