Home
last modified time | relevance | path

Searched defs:applyInternal (Results 1 – 25 of 33) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Drewrite.cpp32 PreprocessingPassResult Rewrite::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::Rewrite
H A Dstatic_learning.cpp29 PreprocessingPassResult StaticLearning::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::StaticLearning
H A Dite_removal.cpp33 PreprocessingPassResult IteRemoval::applyInternal(AssertionPipeline* assertions) in applyInternal() function in CVC4::preprocessing::passes::IteRemoval
H A Dextended_rewriter_pass.cpp28 PreprocessingPassResult ExtRewPre::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::ExtRewPre
H A Dquantifiers_preprocess.cpp35 PreprocessingPassResult QuantifiersPreprocess::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::QuantifiersPreprocess
H A Dtheory_preprocess.cpp31 PreprocessingPassResult TheoryPreprocess::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::TheoryPreprocess
H A Dapply_substs.cpp33 PreprocessingPassResult ApplySubsts::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::ApplySubsts
H A Dbv_eager_atoms.cpp30 PreprocessingPassResult BvEagerAtoms::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BvEagerAtoms
H A Dbv_abstraction.cpp41 PreprocessingPassResult BvAbstraction::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BvAbstraction
H A Dsort_infer.cpp33 PreprocessingPassResult SortInferencePass::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::SortInferencePass
H A Dapply_to_const.cpp93 PreprocessingPassResult ApplyToConst::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::ApplyToConst
H A Dglobal_negate.cpp102 PreprocessingPassResult GlobalNegate::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::GlobalNegate
H A Dbv_intro_pow2.cpp84 PreprocessingPassResult BvIntroPow2::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BvIntroPow2
H A Dnl_ext_purify.cpp105 PreprocessingPassResult NlExtPurify::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::NlExtPurify
H A Dsymmetry_breaker.cpp136 PreprocessingPassResult SymBreakerPass::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::SymBreakerPass
H A Dsep_skolem_emp.cpp101 PreprocessingPassResult SepSkolemEmp::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::SepSkolemEmp
H A Dbool_to_bv.cpp35 PreprocessingPassResult BoolToBV::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BoolToBV
H A Dreal_to_int.cpp187 PreprocessingPassResult RealToInt::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::RealToInt
H A Dsygus_abduct.cpp37 PreprocessingPassResult SygusAbduct::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::SygusAbduct
H A Dbv_ackermann.cpp189 PreprocessingPassResult BVAckermann::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BVAckermann
H A Dnon_clausal_simp.cpp54 PreprocessingPassResult NonClausalSimp::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::NonClausalSimp
H A Dite_simp.cpp234 PreprocessingPassResult ITESimp::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::ITESimp
H A Dint_to_bv.cpp325 PreprocessingPassResult IntToBV::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::IntToBV
H A Dbv_to_bool.cpp44 PreprocessingPassResult BVToBool::applyInternal( in applyInternal() function in CVC4::preprocessing::passes::BVToBool
/dports/sysutils/istio/istio-1.6.7/pkg/test/kube/
H A Dkubectl.go82 func (c *kubectl) applyInternal(namespace string, files []string, dryRun bool) error { func

12