This simple PR adds standard class getters and setters to the Options, Tolerances and NumericFormat class
These check the values whenever the user sets them and checks they are the correct type and in some cases above 0
I've also changed the accepted types to Real which allows floats or ints for enlargeBox and splitTolerance as it appears we are sometimes passing ints and sometimes passing floats to these attributes.
This will be useful in the future as we can migrate the type checking here with more standard way of doing type checking on class attributes.
This simple PR adds standard class getters and setters to the Options, Tolerances and NumericFormat class
These check the values whenever the user sets them and checks they are the correct type and in some cases above 0
I've also changed the accepted types to Real which allows floats or ints for enlargeBox and splitTolerance as it appears we are sometimes passing ints and sometimes passing floats to these attributes.
This will be useful in the future as we can migrate the type checking here with more standard way of doing type checking on class attributes.