Searched refs:CUI_UnificationSubproblem (Results 1 – 6 of 6) sorted by relevance
38 class CUI_UnificationSubproblem : public UnificationSubproblem, private SimpleRootContainer class40 NO_COPYING(CUI_UnificationSubproblem);43 CUI_UnificationSubproblem();44 ~CUI_UnificationSubproblem();73 CUI_UnificationSubproblem::Problem::Problem() // HACK in Problem()81 CUI_UnificationSubproblem::Problem::Problem(CUI_DagNode* lhs, CUI_DagNode* rhs) in Problem()89 CUI_UnificationSubproblem::Problem::Problem(const Problem& original) in Problem()
57 CUI_UnificationSubproblem::CUI_UnificationSubproblem() in CUI_UnificationSubproblem() function in CUI_UnificationSubproblem62 CUI_UnificationSubproblem::~CUI_UnificationSubproblem() in ~CUI_UnificationSubproblem()67 CUI_UnificationSubproblem::markReachableNodes() in markReachableNodes()83 CUI_UnificationSubproblem::addUnification(DagNode* lhs, DagNode* rhs, bool marked, UnificationConte… in addUnification()91 CUI_UnificationSubproblem::solve(bool findFirst, UnificationContext& solution, PendingUnificationSt… in solve()
109 libCUI_Theory_a-CUI_UnificationSubproblem.$(OBJEXT) \297 CUI_UnificationSubproblem.cc \313 CUI_UnificationSubproblem.hh \373 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Po@am__q…474 libCUI_Theory_a-CUI_UnificationSubproblem.o: CUI_UnificationSubproblem.cc475 …CUI_UnificationSubproblem.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo -c…476 …$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Un…479 …-o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo '$(…481 libCUI_Theory_a-CUI_UnificationSubproblem.obj: CUI_UnificationSubproblem.cc482 …y_a-CUI_UnificationSubproblem.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.…[all …]
17 CUI_UnificationSubproblem.cc \33 CUI_UnificationSubproblem.hh \
85 * CUI_UnificationSubproblem.cc (CUI_UnificationSubproblem::solve): use restoreFromClone()141 * CUI_UnificationSubproblem.hh (class CUI_UnificationSubproblem):144 * CUI_UnificationSubproblem.cc145 (CUI_UnificationSubproblem::addUnification): take marked arg149 * CUI_UnificationSubproblem.cc152 * CUI_UnificationSubproblem.hh (class CUI_UnificationSubproblem):203 * CUI_UnificationSubproblem.cc (solve): implemented205 * CUI_UnificationSubproblem.hh (class CUI_UnificationSubproblem):207 (class CUI_UnificationSubproblem): lhs, rhs of Problem become212 * CUI_UnificationSubproblem.cc: created[all …]
367 return new CUI_UnificationSubproblem(); in makeUnificationSubproblem()