Searched refs:parseTheoryOptermVec (Results 1 – 1 of 1) sorted by path
321 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()325 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()329 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()340 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_arguments))); in parseTheoryTerm()353 TheoryOptermVecUid parseTheoryOptermVec(AST::ASTVec const &asts) { in parseTheoryOptermVec() function584 … parseTheoryOptermVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_terms)), in parseTheoryElemVec()