Packages

p

firrtl

constraint

package constraint

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait Constraint extends AnyRef

    Trait for all Constraint Solver expressions

  2. class ConstraintSolver extends AnyRef

    Forwards-Backwards Constraint Solver

    Forwards-Backwards Constraint Solver

    Used for computing Width and Bound constraints

    Note - this is an O(N) algorithm, but requires exponential memory. We rely on aggressive early optimization of constraint expressions to (usually) get around this.

  3. case class GreaterOrEqual(left: String, right: Constraint) extends Inequality with Product with Serializable
  4. trait Inequality extends AnyRef

    Represents either greater or equal to or less than or equal to Is passed to the constraint solver to resolve

  5. case class IsAdd extends Constraint with MultiAry with Product with Serializable
  6. case class IsFloor extends Constraint with Product with Serializable
  7. trait IsKnown extends Constraint

    Constant values must extend this trait see and firrtl.ir.Open

  8. case class IsMax extends MultiAry with Product with Serializable
  9. case class IsMin extends MultiAry with Product with Serializable
  10. case class IsMul extends MultiAry with Product with Serializable
  11. case class IsNeg extends Constraint with Product with Serializable
  12. case class IsPow extends Constraint with Product with Serializable
  13. trait IsVar extends Constraint

    Extend to be a constraint variable

  14. case class LesserOrEqual(left: String, right: Constraint) extends Inequality with Product with Serializable
  15. trait MultiAry extends Constraint

    Trait for constraints with more than one argument

  16. case class VarCon(name: String) extends IsVar with Product with Serializable

Value Members

  1. object IsAdd extends Serializable
  2. object IsFloor extends Serializable
  3. object IsKnown
  4. object IsMax extends Serializable
  5. object IsMin extends Serializable
  6. object IsMul extends Serializable
  7. object IsNeg extends Serializable
  8. object IsPow extends Serializable
  9. object IsVar

Ungrouped