diff options
| author | chick | 2020-08-14 19:47:53 -0700 |
|---|---|---|
| committer | Jack Koenig | 2020-08-14 19:47:53 -0700 |
| commit | 6fc742bfaf5ee508a34189400a1a7dbffe3f1cac (patch) | |
| tree | 2ed103ee80b0fba613c88a66af854ae9952610ce /src/main/scala/firrtl/constraint/IsNeg.scala | |
| parent | b516293f703c4de86397862fee1897aded2ae140 (diff) | |
All of src/ formatted with scalafmt
Diffstat (limited to 'src/main/scala/firrtl/constraint/IsNeg.scala')
| -rw-r--r-- | src/main/scala/firrtl/constraint/IsNeg.scala | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/main/scala/firrtl/constraint/IsNeg.scala b/src/main/scala/firrtl/constraint/IsNeg.scala index 46f739c6..574cfd47 100644 --- a/src/main/scala/firrtl/constraint/IsNeg.scala +++ b/src/main/scala/firrtl/constraint/IsNeg.scala @@ -11,10 +11,10 @@ object IsNeg { case class IsNeg private (child: Constraint, dummyArg: Int) extends Constraint { override def reduce(): Constraint = child match { case k: IsKnown => k.neg - case x: IsAdd => IsAdd(x.children.map { b => IsNeg(b) }) - case x: IsMul => IsMul(Seq(IsNeg(x.children.head)) ++ x.children.tail) - case x: IsNeg => x.child - case x: IsPow => this + case x: IsAdd => IsAdd(x.children.map { b => IsNeg(b) }) + case x: IsMul => IsMul(Seq(IsNeg(x.children.head)) ++ x.children.tail) + case x: IsNeg => x.child + case x: IsPow => this // -[max(a, b)] -> min[-a, -b] case x: IsMax => IsMin(x.children.map { b => IsNeg(b) }) case x: IsMin => IsMax(x.children.map { b => IsNeg(b) }) @@ -24,9 +24,7 @@ case class IsNeg private (child: Constraint, dummyArg: Int) extends Constraint { lazy val children = Vector(child) - override def map(f: Constraint=>Constraint): Constraint = IsNeg(f(child)) + override def map(f: Constraint => Constraint): Constraint = IsNeg(f(child)) override def serialize: String = "(-" + child.serialize + ")" } - - |