In 2.7.1 of acslpp.pdf (page 68) it is stated that a logic function or predicate may be declared virtual and that dynamic binding applies. For me dynamic binding happens at runtime but the logic functions are not executed at runtime. So, I am a bit confused.
In 2.7.1 of
acslpp.pdf
(page 68) it is stated that a logic function or predicate may be declared virtual and that dynamic binding applies. For me dynamic binding happens at runtime but the logic functions are not executed at runtime. So, I am a bit confused.