Creates and returns the new constraint c1 => c2, that is, the first constraint implies the other.

Namespace: ILOG.CP
Assembly: oplall (in oplall.dll)

Syntax

C#
public virtual IConstraint Imply(
	IConstraint c1,
	IConstraint c2
)

Parameters

c1
Type: ILOG.Concert..::..IConstraint
The first constraint.
c2
Type: ILOG.Concert..::..IConstraint
The other constraint.

See Also