Home
last modified time | relevance | path

Searched refs:PermVectorCopy (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_proofproc.c1165 FVIAnchorAlloc(cspec, PermVectorCopy(perm)); in fvi_param_init()
1167 FVIAnchorAlloc(cspec, PermVectorCopy(perm)); in fvi_param_init()
1169 FVIAnchorAlloc(cspec, PermVectorCopy(perm)); in fvi_param_init()
1171 FVIAnchorAlloc(cspec, PermVectorCopy(perm)); in fvi_param_init()
1175 FVIAnchorAlloc(cspec, PermVectorCopy(perm)); in fvi_param_init()
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_freqvectors.h116 #define PermVectorCopy(vec) FixedDArrayCopy(vec) macro