if–then

See also: if-then, and if/then

English

Noun

if–then (plural if–thens)

1. Alternative form of if-then.
   • 2002, Brian Bagnall, Core Lego Mindstorms Programming, Prentice Hall, →ISBN, page 201:

     Most people, when they start programming their robot, will think of the program flow as a series of if–thens, which is reminiscent of structured programming (Figure 6–3).

   • 2008, Selmer Bringsjord, “Declarative/Logic-Based Cognitive Modeling”, in Ron Sun, editor, The Cambridge Handbook of Computational Psychology, Cambridge University Press, →ISBN, part II (Cognitive Modeling Paradigms), page 148:

     This rule says that if in a derivation you have an infinite list of if–thens (i.e., formulas of the form φ → ψ) where each consequent (ψ) in each if–then is an element of some infinite set Φ, then you can infer to an if–then whose consequent is the infinite conjunction obtained by conjoining all the elements of Φ.

   • 2020, Steve Rabin, editor, Game AI Pro 360: Guide to Architecture, CRC Press, →ISBN, page 312:

     Tests can be implemented by atomic actions that simply succeed or fail; if–thens can be implemented by composites like Selectors that execute the first nonfailing action, and blocks of code can be implemented by Sequences that execute all their nonfailing actions or Parallel nodes, which allow multiple actions to be executed concurrently (Champandard and Dunstan 2012).