aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/constraint/IsMul.scala
diff options
context:
space:
mode:
authorchick2020-08-14 19:47:53 -0700
committerJack Koenig2020-08-14 19:47:53 -0700
commit6fc742bfaf5ee508a34189400a1a7dbffe3f1cac (patch)
tree2ed103ee80b0fba613c88a66af854ae9952610ce /src/main/scala/firrtl/constraint/IsMul.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/main/scala/firrtl/constraint/IsMul.scala')
-rw-r--r--src/main/scala/firrtl/constraint/IsMul.scala25
1 files changed, 14 insertions, 11 deletions
diff --git a/src/main/scala/firrtl/constraint/IsMul.scala b/src/main/scala/firrtl/constraint/IsMul.scala
index 3f637d75..a4acd74c 100644
--- a/src/main/scala/firrtl/constraint/IsMul.scala
+++ b/src/main/scala/firrtl/constraint/IsMul.scala
@@ -10,9 +10,11 @@ object IsMul {
case _ => apply(Seq(left, right))
}
def apply(children: Seq[Constraint]): Constraint = {
- children.foldLeft(new IsMul(None, Vector())) { (add, c) =>
- add.addChild(c)
- }.reduce()
+ children
+ .foldLeft(new IsMul(None, Vector())) { (add, c) =>
+ add.addChild(c)
+ }
+ .reduce()
}
}
@@ -20,19 +22,20 @@ case class IsMul private (known: Option[IsKnown], others: Vector[Constraint]) ex
def op(b1: IsKnown, b2: IsKnown): IsKnown = b1 * b2
- lazy val children: Vector[Constraint] = if(known.nonEmpty) known.get +: others else others
+ lazy val children: Vector[Constraint] = if (known.nonEmpty) known.get +: others else others
def addChild(x: Constraint): IsMul = x match {
- case k: IsKnown => new IsMul(known = merge(Some(k), known), others)
- case mul: IsMul => new IsMul(merge(known, mul.known), others ++ mul.others)
- case other => new IsMul(known, others :+ other)
+ case k: IsKnown => new IsMul(known = merge(Some(k), known), others)
+ case mul: IsMul => new IsMul(merge(known, mul.known), others ++ mul.others)
+ case other => new IsMul(known, others :+ other)
}
override def reduce(): Constraint = {
- if(children.size == 1) children.head else {
+ if (children.size == 1) children.head
+ else {
(known, others) match {
- case (Some(Closed(x)), _) if x == BigDecimal(1) => new IsMul(None, others).reduce()
- case (Some(Closed(x)), _) if x == BigDecimal(0) => Closed(0)
+ case (Some(Closed(x)), _) if x == BigDecimal(1) => new IsMul(None, others).reduce()
+ case (Some(Closed(x)), _) if x == BigDecimal(0) => Closed(0)
case (Some(Closed(x)), Vector(m: IsMax)) if x > 0 =>
IsMax(m.children.map { c => IsMul(Closed(x), c) })
case (Some(Closed(x)), Vector(m: IsMax)) if x < 0 =>
@@ -46,7 +49,7 @@ case class IsMul private (known: Option[IsKnown], others: Vector[Constraint]) ex
}
}
- override def map(f: Constraint=>Constraint): Constraint = IsMul(children.map(f))
+ override def map(f: Constraint => Constraint): Constraint = IsMul(children.map(f))
override def serialize: String = "(" + children.map(_.serialize).mkString(" * ") + ")"
}