Class Implication

An implication constraint

Inheritance
System.Object
OperatorConstraint
Implication
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: OPTANO.Modeling.Optimization.Operators
Assembly: Optimization.dll
Syntax
public class Implication : OperatorConstraint, IHaveName

Constructors

Implication(Constraint, Constraint, String)

Declaration
public Implication(Constraint premise, Constraint conclusion, string name = "")
Parameters
Type Name Description
Constraint premise

left-hand constraint
Constraint conclusion

right-hand constraint
System.String name

name of this premise
Exceptions
Type Condition
System.ArgumentNullException

Properties

Conclusion

A conclusion is an implication with just one expression on the right-hand side.

Declaration
public Constraint Conclusion { get; }
Property Value
Type Description
Constraint
Exceptions
Type Condition
System.Exception

throws an exception, if right-hand side has not exactly one expression

Premise

Is an implication with exactly one expression on the left-hand side

Declaration
public Constraint Premise { get; }
Property Value
Type Description
Constraint
Exceptions
Type Condition
System.Exception

Throws an execption, if left-hand side has not exactly one expression

Extension Methods