blob: 0fa1d2eb31302dd024d233ba9a30918bf13bd026 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
// See LICENSE for license details.
package firrtl.constraint
/** Represents either greater or equal to or less than or equal to
* Is passed to the constraint solver to resolve
*/
trait Inequality {
def left: String
def right: Constraint
def geq: Boolean
}
case class GreaterOrEqual(left: String, right: Constraint) extends Inequality {
val geq = true
override def toString: String = s"$left >= ${right.serialize}"
}
case class LesserOrEqual(left: String, right: Constraint) extends Inequality {
val geq = false
override def toString: String = s"$left <= ${right.serialize}"
}
|
