Domain Conceptualization
Objects
- Circuits
- Terminals
- Signals
- Gates
- Gate types
- Signal values
Relations
- Connected: (<terminal> <terminal>)
Functions
- Type: <gate> ® <gate type>
- In: (<index> <gate>) ® <input terminal>
- Out: (<index> <gate>) ® <output terminal>
- Signal: <terminal> ® <signal value>