Searched refs:getNumExamples (Results 1 – 7 of 7) sorted by relevance
49 Assert.assertEquals(ap1.getNumExamples(), numExamples1); in testIO()54 Assert.assertEquals(ap2.getNumExamples(), numExamples2); in testIO()59 Assert.assertEquals(ap3.getNumExamples(), numExamples3); in testIO()
44 Utils.validate(map.get(refContext).getNumExamples() == 0, in set()101 return (int) map.values().stream().filter(a -> a.getNumExamples() > 0).count()/2; in getNumUniqueContexts()
55 public int getNumExamples() { return numExamples; } in getNumExamples() method in ArtifactPrior93 .set(ArtifactPriorTableColumn.N.toString(), artifactPrior.getNumExamples()) in composeLine()
72 int getNumExamples() const { return d_nExamples; }; in getNumExamples() function
158 unsigned getNumExamples(Node e);
98 unsigned nex = aconj->getPbe()->getNumExamples(e); in init()
327 unsigned SygusPbe::getNumExamples(Node e) in getNumExamples() function in CVC4::theory::quantifiers::SygusPbe