diff options
Diffstat (limited to 'src/main/scala/firrtl/constraint/IsFloor.scala')
| -rw-r--r-- | src/main/scala/firrtl/constraint/IsFloor.scala | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/src/main/scala/firrtl/constraint/IsFloor.scala b/src/main/scala/firrtl/constraint/IsFloor.scala index 5de4697e..60f049bb 100644 --- a/src/main/scala/firrtl/constraint/IsFloor.scala +++ b/src/main/scala/firrtl/constraint/IsFloor.scala @@ -10,13 +10,13 @@ case class IsFloor private (child: Constraint, dummyArg: Int) extends Constraint override def reduce(): Constraint = child match { case k: IsKnown => k.floor - case x: IsAdd => this - case x: IsMul => this - case x: IsNeg => this - case x: IsPow => this + case x: IsAdd => this + case x: IsMul => this + case x: IsNeg => this + case x: IsPow => this // floor(max(a, b)) -> max(floor(a), floor(b)) - case x: IsMax => IsMax(x.children.map {b => IsFloor(b)}) - case x: IsMin => IsMin(x.children.map {b => IsFloor(b)}) + case x: IsMax => IsMax(x.children.map { b => IsFloor(b) }) + case x: IsMin => IsMin(x.children.map { b => IsFloor(b) }) case x: IsVar => this // floor(floor(x)) -> floor(x) case x: IsFloor => x @@ -24,9 +24,7 @@ case class IsFloor private (child: Constraint, dummyArg: Int) extends Constraint } val children = Vector(child) - override def map(f: Constraint=>Constraint): Constraint = IsFloor(f(child)) + override def map(f: Constraint => Constraint): Constraint = IsFloor(f(child)) override def serialize: String = "floor(" + child.serialize + ")" } - - |