Package edu.mit.sketch.language.circuitTutor.reasoner.circuitRepresentation

Interface Summary

CircuitComponent
CircuitModel

Class Summary

AnyModel
CircuitAssumption
CircuitAssumptionSet
CircuitFactory
CircuitModelAssumption
CircuitModelAssumptionSet
CircuitModelRelation	The body should be a string representing the Scheme Expression
CircuitNode	A node in a circuit is a logical point that can have potential a node can be connected to arbitrarily many other nodes the connection can be physical, in which case a RPoint location is specified the connection can also be logical, in which case no location is specified
DefaultCircuitComponent
DefaultCircuitModel
IntermodelRelation
ModelNode	a model node is a circuitnode that has a CircuitModel as the parent
Relation	Relations are used by circuit components and models alike to specify the appropriate relationships between their parameters and terminals Each relation has a name and a body, both of which are represented by Strings.
SchemeExpr
SchemeExprFactory
Terminal	A terminal is simply a CircuitNode attached at the "end" of a CircuitComponent.

Exception Summary

SchemeExpr.ParenthesesException