net.sourceforge.czt.zeves.ast

Interface CaseAnalysisCommand

All Superinterfaces:

ProofCommand, Term

All Known Implementing Classes:

CaseAnalysisCommandImpl

public interface CaseAnalysisCommand
extends ProofCommand

Goal splitting and case analysis commands. It includes user-defined predicate splitting, as well as subgoal separation and walk-through.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
CaseAnalysisKind	getCaseAnalysisKind() Returns the CaseAnalysisKind element.
Pred	getPred() Returns the Pred element.
void	setCaseAnalysisKind(CaseAnalysisKind caseAnalysisKind) Sets the CaseAnalysisKind element.
void	setPred(Pred pred) Sets the Pred element.

Methods inherited from interface net.sourceforge.czt.zeves.ast.ProofCommand

getProofStep, setProofStep

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getPred

Pred getPred()

Returns the Pred element.

Returns:

the Pred element.

setPred

void setPred(Pred pred)

Sets the Pred element.

Parameters:

pred - the Pred element.

See Also:

getPred()

getCaseAnalysisKind

CaseAnalysisKind getCaseAnalysisKind()

Returns the CaseAnalysisKind element.

Returns:

the CaseAnalysisKind element.

setCaseAnalysisKind

void setCaseAnalysisKind(CaseAnalysisKind caseAnalysisKind)

Sets the CaseAnalysisKind element.

Parameters:

caseAnalysisKind - the CaseAnalysisKind element.

See Also:

getCaseAnalysisKind()