Uses of Class
jtp.rs.SecondaryProofStorageWriter

Packages that use SecondaryProofStorageWriter

jtp.frame
jtp.frame.fc

Uses of SecondaryProofStorageWriter in jtp.frame

Methods in jtp.frame with parameters of type SecondaryProofStorageWriter

void	FrameKB.stripProofs(SecondaryProofStorageWriter ost)

Uses of SecondaryProofStorageWriter in jtp.frame.fc

Methods in jtp.frame.fc with parameters of type SecondaryProofStorageWriter

void	RuleClauseAndTriggerInstaller.stripProofs(SecondaryProofStorageWriter sw)
void	BlendingRuleAction.stripProofs(SecondaryProofStorageWriter sw)