Searched refs:parseTheoryOpDefVec (Results 1 – 1 of 1) sorted by relevance
735 TheoryOpDefVecUid parseTheoryOpDefVec(AST::ASTVec const &asts) { in parseTheoryOpDefVec() function788 … parseTheoryOpDefVec(get<AST::ASTVec>(ast, clingo_ast_attribute_operators)), in parseTheoryTermDefinition()