Camfort.Specification.Units.InferenceFrontend

initInference

runCriticalVariables

runInferVariables

runInconsistentConstraints

getConstraint