A B C D E F G I K L M O P R S T V

F

flatten() - Method in class kodkod.engine.config.Options

Returns the value of the flattening flag, which specifies whether to eliminate extraneous intermediate variables.

free(long) - Method in class kodkod.engine.satlab.MiniSat

Releases the resources associated with the native solver at the given memory address.