instantiate: Instantiate Variables in a Term or Constraint
In nick-ulle/typesys: General-purpose Abstract Type System
Description
This function instantiates variables in the given term or constraint,
replacing them with new variables.
Usage
1
2
instantiate(term, ignore = list(), counter = NULL,
helper = InstantiateHelper$new(counter))
Arguments
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.
nick-ulle/typesys documentation built on Jan. 21, 2020, 5:13 p.m.
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Description
This function instantiates variables in the given term or constraint, replacing them with new variables.
Usage
1 2 | instantiate(term, ignore = list(), counter = NULL,
helper = InstantiateHelper$new(counter))
|
Arguments
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. |
R Package Documentation
Browse R Packages
We want your feedback!
Note that we can't provide technical support on individual packages. You should contact the package authors for that.
Embedding an R snippet on your website
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.