blob: 98396fa05fe8e29e84155bae2facf81f2dfa9e14 (
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
25
26
27
|
// See LICENSE for license details.
package firrtl.constraint
object IsVar {
def unapply(i: Constraint): Option[String] = i match {
case i: IsVar => Some(i.name)
case _ => None
}
}
/** Extend to be a constraint variable */
trait IsVar extends Constraint {
def name: String
override def serialize: String = name
override def map(f: Constraint=>Constraint): Constraint = this
override def reduce() = this
val children = Vector()
}
case class VarCon(name: String) extends IsVar
|
