Commit 795c260e authored by Matthias Betz's avatar Matthias Betz
Browse files

adding healing ids

parent 90f62c36
Pipeline #5583 failed with stage
in 1 minute and 59 seconds
......@@ -34,6 +34,8 @@ public class HealingID {
public static final HealingID P_SAME_ORIENTATION = new HealingID("P_SAME_ORIENTATION");
public static final HealingID R_TOO_FEW_POINTS = new HealingID("R_TOO_FEW_POINTS");
public static final HealingID S_NOT_CLOSED = new HealingID("S_NOT_CLOSED");
public static final HealingID P_NON_PLANAR_POLYGON_CPP = new HealingID("P_NON_PLANAR_POLYGON_CPP");
public static final HealingID S_NOT_CLOSED_CPP = new HealingID("S_NOT_CLOSED_CPP");
private String idString;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment