structured

Type Members

1. class ApplyComponent[Value] extends ProblemComponent[Value]

   

2. sealed abstract class Bounds extends AnyRef

   

3. class ChainComponent[ParentValue, Value] extends ExpandableComponent[ParentValue, Value]

   

   A problem component created for a chain element.

4. class ComponentCollection extends AnyRef

   

   A collection of problem components.

   A collection of problem components. This data structure manages all the components being used in the solution of a top-level problem and its nested subproblems.

5. abstract class ExpandableComponent[ParentValue, Value] extends ProblemComponent[Value]

   

   A problem component that provides an expand method.

6. class MakeArrayComponent[Value] extends ExpandableComponent[Int, FixedSizeArray[Value]]

   

   A problem component for a MakeArray element.

7. class NestedProblem[T] extends Problem

   

8. class Problem extends AnyRef

   

   A Problem defines an inference problem to be solved.

   A Problem defines an inference problem to be solved. It includes a set of components directly contained in the problem. These components might have nested subproblems. It also refers to global components that are outside of this problem. The targets are elements that appear in this problem that are visible outside. They might be newly defined in this problem or they might be defined previously, but either way, they should not be eliminated.

9. class ProblemComponent[Value] extends AnyRef