Page Numbers: Yes First Page: 1
Heading:

November 12, 1976 4:40 PM[IVY]<KRL>document>ex-borning

Alan’s examples in KRL1

NOTE: This is a comment.

Units having to do with something

# DrawableObject↑11: HasFunctional(self, PicturedAs, bitmap)
bitmap: A String

# ConstrainedObject↑11: HasFunctional(self, Constrained, expressiion)
expression: A Description

# Node
self: Constrained (\SumOfAll(My currents))
point: A Point
voltage: A Real
currents:SetOf(A Real)
SetOfAll(The current from a Lead with node = My self)

# Point
x: A Variable
y: A Variable

# Real
self: A Variable

# Lead
node: A Node with currents = HasMember(My current)
voltage: The voltage from a Node thatIs My node
current: A Real

# Ground
self: A Lead with voltage = 0

# TwoLeadObject
self: Constrained (\SumOf(The current from a Lead thatIs My lead1,
The current from a Lead thatIs My lead2))
lead1: A Lead
lead2: A Lead

# Resistor↑11: FurtherSpecified (\TwoLeadObject)
self:A TwoLeadObject
PicturedAs ("1110101001010100100101010")
Constrained (\Diff(Diff(The voltage from a Lead thatIs My lead1,
The voltage from a Lead thatIs My lead2),
(Product(The current from Lead thatIs My lead1,
My resistance)))
lead1: ; lead2:
resistance: A Real

# Battery↑11: FurtherSpecified (\TwoLeadObject)
self: A TwoLeadObject
PicturedAs ("1111010101010")
Constrained (\Diff(Diff(The voltage from a Lead thatIs My lead1,
The voltage from a Lead thatIs My lead2),
My voltage)
lead1: ; lead2:
voltage: A Real

# Node1
self:A Node
The node from a Lead thatIs A Ground
The node from a Lead thatIs The lead1 from a Battery thatIs Battery1
The node from a Lead thatIs The lead2 from a Resistor thatIs Resistor2

# Node2
self:A Node
The node from a Lead thatIs The lead2 from a Battery thatIs Battery1
The node from a Lead thatIs The lead1 from a Resistor thatIs Resistor1

# Node3
self:A Node
The node from a Lead thatIs The lead2 from a Resistor thatIs Resistor1
The node from a Lead thatIs The lead1 from a Resistor thatIs Resistor2

# Resistor1
self:A Resistor with resistance = 5.0
A DepictableObject with bitmap = "111010100100101010"
A TwoLeadObject with
lead1 = A Lead with node = Node2
lead2 = A Lead with node = Node3

# Resistor2
self:A Resistor with resistance = 10.0
A TwoLeadObject with
lead1 = A Lead with node = Node3
lead2 = A Lead with node = Node1

# Battery1
self:A Battery with voltage = 15.0
A TwoLeadObject with
lead1 = A Lead with node = Node1
lead2 = A Lead with node = Node2

# Circuit1
self:A Circuit with
ConstrainedObjects = {Node1, Node2, Node3,
Battery1, Resistor1, Resistor2}