充类：推究同类事理；至尽：到极精密处。指就事理作充分的推论。