WOLFRAM SYSTEM MODELER
ConjunctiveClockLogical clock ticking whenever all input clocks ticked at least once, then resets and starts the next conjunctive cycle |
![]() |
SystemModel["Modelica.Clocked.ClockSignals.Clocks.Logical.ConjunctiveClock"]
This information is part of the Modelica Standard Library maintained by the Modelica Association.
For a simple example cf. the logical sampling example.useSolver |
Value: false Type: Boolean Description: = true, if solverMethod shall be explicitly defined |
---|---|
solverMethod |
Value: "ExplicitEuler" Type: SolverMethod Description: Integration method used for discretized continuous-time partitions |
nu |
Value: 2 Type: Integer Description: Number of input connections. |
![]() |
y |
Type: ClockOutput Description: 'output Clock' as connector |
---|---|---|
![]() |
u |
Type: ClockVectorInput[nu] Description: Vector of Clock input signals. |
![]() |
combinator |
Type: And Description: Replaceable logical combinator applied on vector of Clock input signals. Important: Must not be any kind of negation since such would result in infinite many ticks for an infinitesimal short time period. |
---|---|---|
![]() |
clock |
Type: EventClock Description: Generate a clock signal when the Boolean input changes from false to true |
![]() |
input_ticked |
Type: ClockToBoolean[nu] Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced). |
![]() |
forbidden_state |
Type: And[nu] Description: Logical 'and': y = u1 and u2 |
![]() |
S_false |
Type: BooleanConstant[nu] Description: Generate constant signal of type Boolean |
![]() |
suppress_S |
Type: LogicalSwitch[nu] Description: Logical Switch |
![]() |
input_memory |
Type: RSFlipFlop[nu] Description: A basic RS Flip Flop |
![]() |
reset_ticked |
Type: ClockToBoolean Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced). |
![]() |
splitter |
Type: BooleanReplicator Description: Boolean signal replicator |
![]() |
Modelica.Clocked.Examples.Elementary.ClockSignals Simple example of conjunctive and disjunctive logical clocks, combining clock signals to derive new event driven clocks. |