Class ConflictingSet
Represents the irreducible infeasible set (IIS).
Inheritance
Inherited Members
Namespace: OPTANO.Modeling.Optimization
Assembly: Optimization.dll
Syntax
public class ConflictingSet
Constructors
ConflictingSet(IEnumerable<Variable>, IEnumerable<Variable>, IEnumerable<Constraint>, IEnumerable<Constraint>, IEnumerable<IDictionary<Variable, Double>>)
Initializes a new instance of the ConflictingSet class.
Declaration
public ConflictingSet(IEnumerable<Variable> variablesUb = null, IEnumerable<Variable> variablesLb = null, IEnumerable<Constraint> constraintslb = null, IEnumerable<Constraint> constraintsub = null, IEnumerable<IDictionary<Variable, double>> sos = null)
Parameters
Type | Name | Description |
---|---|---|
System.Collections.Generic.IEnumerable<Variable> | variablesUb | The variables for which the upper bounds are conflicting. |
System.Collections.Generic.IEnumerable<Variable> | variablesLb | The variables for which the lower bounds are conflicting. |
System.Collections.Generic.IEnumerable<Constraint> | constraintslb | The conflicting lower bound constraints. |
System.Collections.Generic.IEnumerable<Constraint> | constraintsub | The conflicting upper bound constraints. |
System.Collections.Generic.IEnumerable<System.Collections.Generic.IDictionary<Variable, System.Double>> | sos | The conflicting SOS. |
Properties
ConstraintsLB
Gets the conflicting constraints where the lower bound is in conflict.
Declaration
public IEnumerable<Constraint> ConstraintsLB { get; }
Property Value
Type | Description |
---|---|
System.Collections.Generic.IEnumerable<Constraint> |
ConstraintsUB
Gets the conflicting constraints where the upper bound is in conflict.
Declaration
public IEnumerable<Constraint> ConstraintsUB { get; }
Property Value
Type | Description |
---|---|
System.Collections.Generic.IEnumerable<Constraint> |
SOS
Gets the conflicting SOS sets.
Declaration
public IEnumerable<IDictionary<Variable, double>> SOS { get; }
Property Value
Type | Description |
---|---|
System.Collections.Generic.IEnumerable<System.Collections.Generic.IDictionary<Variable, System.Double>> |
VariablesLB
Gets the variables for which the lower bounds are conflicting.
Declaration
public IEnumerable<Variable> VariablesLB { get; }
Property Value
Type | Description |
---|---|
System.Collections.Generic.IEnumerable<Variable> |
VariablesUB
Gets the variables for which the upper bounds are conflicting
Declaration
public IEnumerable<Variable> VariablesUB { get; }
Property Value
Type | Description |
---|---|
System.Collections.Generic.IEnumerable<Variable> |
Methods
ToDebugNameString(Dictionary<String, String>)
Prints a descriptive string representation of this ConflictingSet, using the given variableNameMapping
for the Variable names.
Declaration
public string ToDebugNameString(Dictionary<string, string> variableNameMapping = null)
Parameters
Type | Name | Description |
---|---|---|
System.Collections.Generic.Dictionary<System.String, System.String> | variableNameMapping | A mapping from short to long Name.
Can be generated with |
Returns
Type | Description |
---|---|
System.String | A string representation of the conflicting set. |
ToString()
Exports the conflicting variable set as a formatted list
Declaration
public override string ToString()
Returns
Type | Description |
---|---|
System.String | The System.String. |