Exertion
Relations¶
inputs_match ((modelet*template) >*$o)¶
Check if a modelet matches a template.
- Check if they are formally equivalent
- Check if the modelet contains permissible values for each of the properties of requirements of the template.
Source: engines-and-modelets.tff, properties.tff¶
formally_equivalent ((template*modelet) >$o)¶
A template and a modelet share the same phenomenon and formalism.
Source: properties.tff¶
interfaces_match ((modelet_set*template_set) >$o)¶
Check if all of the templates in the template_set have a corresponding modelet in the modelet_set with matching profile.
- Check if they are formally equivalent
- Check if their inputs match
Source: engines-and-modelets.tff, properties.tff¶
exert ((engine*modelet_set*modelet) >$o)¶
Exert an engine on a modelet_set to produce an output modelet.
Source: engines-and-modelets.tff¶
exertable ((modelet_set*engine) >$o)¶
A modelet_set can be exerted by an engine iff their interfaces match.