slang::ImplicationConstraint class

Represents a constraint defined by an implication.