Home
last modified time | relevance | path

Searched refs:CTX_ARCH_RFW (Results 1 – 6 of 6) sorted by relevance

/dports/math/yices/yices-2.6.2/src/api/
H A Dcontext_config.c498 a = CTX_ARCH_RFW; in arch_add_rfw()
535 return (a != CTX_ARCH_IFW && a != CTX_ARCH_RFW) || mode == CTX_MODE_ONECHECK; in arch_supports_mode()
H A Dyices_api.c8762 case CTX_ARCH_RFW: in yices_set_default_params()
/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_types.h179 CTX_ARCH_RFW, // real floyd-warshall enumerator
H A Dcontext.c5238 ctx->arch = CTX_ARCH_RFW; in create_auto_rdl_solver()
5250 ctx->arch = CTX_ARCH_RFW; in create_auto_rdl_solver()
/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smt.c1856 arch = CTX_ARCH_RFW; in process_benchmark()
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_reval.c618 arch = CTX_ARCH_RFW; in process_command_line()