Apply this procedure to the given goal in model-generation mode.
Apply this procedure to the given goal in model-generation mode. In this mode, we have already established that a problem is satisfiable, but still need to compute a full/concrete model.
From a theory procedure, determine in which state a given goal is.
From a theory procedure, determine in which state a given goal is.
Apply this plugin to the given goal.
Apply this plugin to the given goal.
Check whether all inequalities present for the given constants are already implied by the type
Check whether all inequalities present for the given constants are already implied by the type
An implicit function to simplify cascading of possible actions.
An implicit function to simplify cascading of possible actions.
(Since version ) see corresponding Javadoc for more information.