skipWhiteSpacesAndComments (reference) in projects: dports

Searched refs:skipWhiteSpacesAndComments (Results 1 – 8 of 8) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A D	LispLexer.cpp	`52 void LispLexer::skipWhiteSpacesAndComments () in skipWhiteSpacesAndComments() function in LispLexer 94 skipWhiteSpacesAndComments(); in readToken()`
H A D	SMTLEX.cpp	`49 void SMTLexer::skipWhiteSpacesAndComments() in skipWhiteSpacesAndComments() function in SMTLexer 101 skipWhiteSpacesAndComments(); in readToken()`
H A D	LispLexer.hpp	`49 void skipWhiteSpacesAndComments();`
H A D	SMTLEX.hpp	`71 void skipWhiteSpacesAndComments();`
H A D	CParser.hpp	`342 unsigned skipWhiteSpacesAndComments(unsigned pos);`
H A D	CParser.cpp	`339 unsigned CParser::skipWhiteSpacesAndComments(unsigned pos) in skipWhiteSpacesAndComments() function in CParser 476 pos = skipWhiteSpacesAndComments(pos); in tokenize()`
/dports/math/vampire/vampire-4.5.1/Parse/
H A D	TPTP.hpp	`699 void skipWhiteSpacesAndComments();`
H A D	TPTP.cpp	`411 skipWhiteSpacesAndComments(); in readToken() 669 void TPTP::skipWhiteSpacesAndComments() in skipWhiteSpacesAndComments() function in TPTP`