Java Code Examples for kodkod.engine.config.Options#clone()

The following examples show how to use kodkod.engine.config.Options#clone() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example 1

Source File: HOLSolver.java From org.alloytools.alloy with Apache License 2.0

2 votes

/**
 * Returns a new {@link IncrementalSolver} using the given options.
 *
 * @requires options.solver.incremental() && options.logTranslation = 0
 * @return some s: IncrementalSolver | no s.formulas && no s.bounds && s.options
 *         = options.clone()
 * @throws NullPointerException any of the arguments are null
 * @throws IllegalArgumentException any of the preconditions on options are
 *             violated
 */
public static HOLSolver solver(Options options) {
    Translator.checkIncrementalOptions(options);
    return new HOLSolver(options.clone());
}

Example 2

Source File: IncrementalSolver.java From org.alloytools.alloy with Apache License 2.0

2 votes

/**
 * Returns a new {@link IncrementalSolver} using the given options.
 *
 * @requires options.solver.incremental() && options.logTranslation = 0
 * @return some s: IncrementalSolver | no s.formulas && no s.bounds && s.options
 *         = options.clone()
 * @throws NullPointerException any of the arguments are null
 * @throws IllegalArgumentException any of the preconditions on options are
 *             violated
 */
public static IncrementalSolver solver(Options options) {
    Translator.checkIncrementalOptions(options);
    return new IncrementalSolver(options.clone());
}

Example 3

Source File: IncrementalSolver.java From kodkod with MIT License

2 votes

/**
 * Returns a new {@link IncrementalSolver} using the given options.   
 * @requires options.solver.incremental() && options.logTranslation = 0   
 * @return some s: IncrementalSolver | no s.formulas  && no s.bounds  && s.options = options.clone()
 * @throws NullPointerException  any of the arguments are null
 * @throws IllegalArgumentException any of the preconditions on options are violated
 */
public static IncrementalSolver solver(Options options) {
	Translator.checkIncrementalOptions(options);
	return new IncrementalSolver(options.clone());
}