This function instantiates variables in the given term or constraint, replacing them with new variables.
1 2 | instantiate(term, ignore = list(), counter = NULL,
helper = InstantiateHelper$new(counter))
|
term |
Term or constraint to instantiate. |
ignore |
List of Variables to ignore when replacing. |
counter |
Counter for generating new variables. |
helper |
Helper object for the function. |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.