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. |