diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-30T22·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-30T22·43+0000 |
| commit | 0565b5f2b35dc153dc98e1e3bd37476aa13ee4f1 (patch) | |
| tree | a370db3e93b6e07f044fc436092c9d082da9c8be /src/aterm-helper.pl | |
| parent | aac547a8b3f481fda48cc1fe1082ce4c32be0e03 (diff) | |
* More remote operations.
* Added new operation hasSubstitutes(), which is more efficient than querySubstitutes().size() > 0.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions