constraint

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