Class FlatCInstance.InstDef

  • Enclosing class:
    FlatCInstance

    private static class FlatCInstance.InstDef
    extends Object
    A container comprising an SInstance and of one of its minimal Deficiencys. This is needed for probability computations: The variable of the SInstance is replaced by another one, eliminating the given Deficiency.