MCPcopy Create free account
hub / github.com/Gecode/gecode / solveAnnotations

Method solveAnnotations

gecode/flatzinc/flatzinc.cpp:1606–1609  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1604 }
1605
1606 AST::Array*
1607 FlatZincSpace::solveAnnotations(void) const {
1608 return _solveAnnotations;
1609 }
1610
1611 void
1612 FlatZincSpace::solve(AST::Array* ann) {

Callers 2

mainFunction · 0.80
runMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected