Product Documentation
Virtuoso Studio Design Environment SKILL Reference
Product Version IC23.1, November 2023

ccORECompile

ccORECompile(
g_rule
t_outputFileName
[ ?header t_header ]
)
=> t

Description

Compiles the Optical Rule Engine (ORE) expressions specified as a file or a list and stores them in an encrypted form including an optional unencrypted header in a file with the specified name. The encrypted output file can be specified as the input g_rule key argument of the ccORE function.

Arguments

g_rule

t_fileName | (g_expression...)

Name of the file containing the ORE expressions or a list of ORE expressions, where each g_expression can be a string, a number, a variable, or a list containing the name of an ORE function and expressions representing the values of its arguments:

g_expression : t_string | n_number | s_variable | (s_function [ g_expression... ])

t_outputFileName

Name of the output file containing compiled rule expressions in encrypted form.

t_header

Unencrypted header to be included in the output file.

Value Returned

t

The specified ORE expressions are compiled successfully.

An error is displayed if the operation fails.

Example

Compile a rule defining a relation containing numbers from 1 to N in tuples of order 1 in a file with the name encrypted.ore and the header "Numbers from 1 to 3".

ccORECompile('((define numbers (expand ns (ns) (transform (d) design ((sequence 3)))))) "encrypted.ore" ?header "Numbers from 1 to 3")
=>t

Run the rule defined in the file encrypted.ore and store the result in the variable ore.

ccORE(?rule "encrypted.ore" ?saveResult 'ore)
=>t

Print values of the components of the tuples in the derived relation.

ore~>tuples~>components~>value
=> (((3.0) (2.0) (1.0)))

Related Topics

Curvy Core Optical Rule Engine Functions

Optical Rule Engine


Return to top
 ⠀
X