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/IsMul.scala | |
| parent | b516293f703c4de86397862fee1897aded2ae140 (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.scala | 25 |
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(" * ") + ")" } |
