A B C D E F G H I J K L M N O P Q R S T U V W Z

A

ABOUT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

Accepts a visitor.

accept(Visitor<R>) - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

Accepts a visitor.

add(int, Instantiation) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Inserts the specified element at the specified position in this list.

add(int, ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Inserts the specified element at the specified position in this list.

add(int, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Inserts the specified element at the specified position in this list.

addDefaultZEvesLabelTo(Term) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

annsSize() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

annsSize() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

annsSize() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

APPLY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ApplyCommand - Interface in net.sourceforge.czt.zeves.ast

Theorem application commands.

ApplyCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ApplyCommand complex type.

ApplyCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ApplyCommand

ApplyCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ApplyCommand.

ApplyCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

The default constructor.

ApplyCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

ApplyCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ApplyCommand visitor.

assertInstantiationList(Term) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

assertRenameListAsInstantiationList(RenameExpr) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

AstToJaxb - Class in net.sourceforge.czt.zeves.jaxb

The marshaller responsible for serializing XML data.

AstToJaxb() - Constructor for class net.sourceforge.czt.zeves.jaxb.AstToJaxb

B

BACK - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

BAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

BCOUNT - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag count.

BCOUNT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag count.

BY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

C

CaseAnalysisCommand - Interface in net.sourceforge.czt.zeves.ast

Goal splitting and case analysis commands.

CaseAnalysisCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for CaseAnalysisCommand complex type.

CaseAnalysisCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

CaseAnalysisCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface CaseAnalysisCommand.

CaseAnalysisCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

The default constructor.

CaseAnalysisCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

CaseAnalysisCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) CaseAnalysisCommand visitor.

CaseAnalysisKind - Enum in net.sourceforge.czt.zeves.ast

A(n) CaseAnalysisKind enumeration.

caseAnalysisKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

CaseAnalysisKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for CaseAnalysisKind.

CASES - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

CHECK - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ComplexCommand - Interface in net.sourceforge.czt.zeves.ast

Abstract complex command.

ComplexCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ComplexCommand complex type.

ComplexCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

ComplexCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ComplexCommand.

ComplexCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

The default constructor.

ComplexCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

ComplexCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ComplexCommand visitor.

CONJUNCTIVE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ApplyCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of CaseAnalysisCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

public attribute determining whether to log to the standard output information about who is creating this instance of InstantiationImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of NormalizationCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ProofCommandInfoImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ProofScriptImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ProofTypeImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of QuantifiersCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of SimplificationCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of SorryCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of SubstitutionCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of UseCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

public attribute determining whether to log to the standard output information about who is creating this instance of WithCommandImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ZEvesLabelImpl (e.g., ic >= sl)

countingFinaliser() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ZEvesNoteImpl (e.g., ic >= sl)

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

Returns a new object of this class.

create(Object[]) - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

Returns a new object of this class.

createAndExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createAndPred(Pred, Pred, And) - Method in class net.sourceforge.czt.zeves.util.Factory

createApplExpr(Expr, Expr, Boolean) - Method in class net.sourceforge.czt.zeves.util.Factory

createApplication(Name, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an application (Expr followed by Expr in the syntax), that is an ApplExpr with mixfix set to false.

createApplyCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ApplyCommand.

createApplyCommand(BigInteger, ProofCommand, NameList, Expr, Pred) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ApplyCommand with the given children.

createApplyCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createApplyCommand(BigInteger, ProofCommand, NameList, Expr, Pred) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createApplyCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ApplyCommand

createApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ApplyCommand>}

createApplyCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ApplyCommand.

createApplyCommand(BigInteger, ProofCommand, NameList, Expr, Pred) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ApplyCommand with the given children.

createApplyToExprCommand(Name, Expr) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createApplyToExprCommand(Name, Expr) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createApplyToPredCommand(Name, Pred) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createApplyToPredCommand(Name, Pred) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createCaseAnalysisCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of CaseAnalysisCommand.

createCaseAnalysisCommand(BigInteger, Pred, CaseAnalysisKind) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of CaseAnalysisCommand with the given children.

createCaseAnalysisCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createCaseAnalysisCommand(BigInteger, Pred, CaseAnalysisKind) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createCaseAnalysisCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of CaseAnalysisCommand

createCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<CaseAnalysisCommand>}

createCaseAnalysisCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of CaseAnalysisCommand.

createCaseAnalysisCommand(BigInteger, Pred, CaseAnalysisKind) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of CaseAnalysisCommand with the given children.

createCasesCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createCasesCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createCompExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createComplexCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ComplexCommand

createComplexCommand(ComplexCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ComplexCommand>}

createCondExpr(Pred, Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createConjunctiveCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createConjunctiveCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createConsoleFactory() - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

Useful factory for debugging purposes.

createDisjunctiveCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createDisjunctiveCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createEquality(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a member predicate that represents equality between the two given expressions.

createEqualitySubstituteCommand(Expr) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createEqualitySubstituteCommand(Expr) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createFactory(boolean, boolean, int, int) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

Create a factory tailored for either debugging or UI purposes.

createFunOpAppl(Name, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a function operator application, that is an ApplExpr with mixfix set to true.

createGenInst(Name, List<? extends Expr>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a generic instantiation expression, that is a RefExpr with mixfix set to false.

createGenOpApp(Name, List<? extends Expr>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a generic operator application, that is a RefExpr with mixfix set to true.

createGlobalApplyCommand(Name) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createGlobalApplyCommand(Name) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createGlobalEqualitySubstituteCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createGlobalEqualitySubstituteCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createGlobalInvokeCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createGlobalInvokeCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createHorizontalDef(Name, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a horizontal definition, that is an axiomatic definition containing a constant declaration of the name to the given expression and with Box set to OmitBox.

createHorizontalDef(Name, List<? extends Name>, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a generic horizontal definition, that is an axiomatic definition containing a constant declaration of the name to the given expression and with Box set to OmitBox.

createIffExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createIffPred(Pred, Pred) - Method in class net.sourceforge.czt.zeves.util.Factory

createImpliesExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createImpliesPred(Pred, Pred) - Method in class net.sourceforge.czt.zeves.util.Factory

createInstantiateCommand(InstantiationList) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createInstantiateCommand(InstantiationList) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInstantiation() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of Instantiation.

createInstantiation(Name, Expr, InstantiationKind) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of Instantiation with the given children.

createInstantiation() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInstantiation(Name, Expr, InstantiationKind) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInstantiation() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of Instantiation

createInstantiation(Instantiation) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<Instantiation>}

createInstantiation() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of Instantiation.

createInstantiation(Name, Expr, InstantiationKind) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of Instantiation with the given children.

createInstantiationCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of InstantiationCommand

createInstantiationCommand(InstantiationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<InstantiationCommand>}

createInstantiationList() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of InstantiationList.

createInstantiationList(List<? extends Instantiation>) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of InstantiationList with the given children.

createInstantiationList() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInstantiationList(List<? extends Instantiation>) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInstantiationList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of InstantiationList

createInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<InstantiationList>}

createInstantiationList() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of InstantiationList.

createInstantiationList(List<? extends Instantiation>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of InstantiationList with the given children.

createInvokeCommand(Name) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createInvokeCommand(Name) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createInvokePredicateCommand(Pred) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createInvokePredicateCommand(Pred) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createLocAnn(String, Integer, Integer) - Method in class net.sourceforge.czt.zeves.util.Factory

createLocAnn(String, Integer, Integer, Integer, Integer) - Method in class net.sourceforge.czt.zeves.util.Factory

createMemPred(Name, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a member predicate for a given referencing name and an expression, that is a MemPred with mixfix set to false.

createMemPred(Expr, Expr, Boolean) - Method in class net.sourceforge.czt.zeves.util.Factory

createNewOldPair(Name, Name) - Method in class net.sourceforge.czt.zeves.util.Factory

createNextCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createNextCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createNormalizationCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of NormalizationCommand.

createNormalizationCommand(BigInteger, ProofCommand, NormalizationKind) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of NormalizationCommand with the given children.

createNormalizationCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createNormalizationCommand(BigInteger, ProofCommand, NormalizationKind) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createNormalizationCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of NormalizationCommand

createNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<NormalizationCommand>}

createNormalizationCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of NormalizationCommand.

createNormalizationCommand(BigInteger, ProofCommand, NormalizationKind) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of NormalizationCommand with the given children.

createNumExpr(int) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a number expression with the given value.

createNumExpr(BigInteger) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a number expression with the given value.

createNumStroke(int) - Method in class net.sourceforge.czt.zeves.util.Factory

createOrExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createOrPred(Pred, Pred) - Method in class net.sourceforge.czt.zeves.util.Factory

createPipeExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createPrenexCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createPrenexCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProdExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a binary product expression.

createProjExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createProofCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofCommand

createProofCommand(ProofCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofCommand>}

createProofCommandInfo() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandInfo.

createProofCommandInfo(BigInteger, ProofStepKind, ProofStepScope) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandInfo with the given children.

createProofCommandInfo() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandInfo(BigInteger, ProofStepKind, ProofStepScope) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandInfo() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofCommandInfo

createProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofCommandInfo>}

createProofCommandInfo() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandInfo.

createProofCommandInfo(BigInteger, ProofStepKind, ProofStepScope) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandInfo with the given children.

createProofCommandInfoList() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandInfoList.

createProofCommandInfoList(List<? extends ProofCommandInfo>) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandInfoList with the given children.

createProofCommandInfoList() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandInfoList(List<? extends ProofCommandInfo>) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandInfoList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofCommandInfoList

createProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofCommandInfoList>}

createProofCommandInfoList() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandInfoList.

createProofCommandInfoList(List<? extends ProofCommandInfo>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandInfoList with the given children.

createProofCommandList() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandList.

createProofCommandList(List<? extends ProofCommand>) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofCommandList with the given children.

createProofCommandList() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandList(List<? extends ProofCommand>) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofCommandList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofCommandList

createProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofCommandList>}

createProofCommandList() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandList.

createProofCommandList(List<? extends ProofCommand>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofCommandList with the given children.

createProofScript() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofScript.

createProofScript(Name, ProofCommandList) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofScript with the given children.

createProofScript() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofScript(Name, ProofCommandList) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofScript() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofScript

createProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofScript>}

createProofScript() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofScript.

createProofScript(Name, ProofCommandList) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofScript with the given children.

createProofType() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofType.

createProofType(ProofCommandInfoList) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ProofType with the given children.

createProofType() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofType(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProofType() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ProofType

createProofType(ProofType) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ProofType>}

createProofType() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofType.

createProofType(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ProofType with the given children.

createProveByReduceCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createProveByReduceCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProveByRewriteCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createProveByRewriteCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createProveBySimplifyCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createProveBySimplifyCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createQuantifiersCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of QuantifiersCommand.

createQuantifiersCommand(BigInteger, InstantiationList) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of QuantifiersCommand with the given children.

createQuantifiersCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createQuantifiersCommand(BigInteger, InstantiationList) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createQuantifiersCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of QuantifiersCommand

createQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<QuantifiersCommand>}

createQuantifiersCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of QuantifiersCommand.

createQuantifiersCommand(BigInteger, InstantiationList) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of QuantifiersCommand with the given children.

createRearrangeCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createRearrangeCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createReduceCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createReduceCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createRefExpr(Name, ZExprList, Boolean) - Method in class net.sourceforge.czt.zeves.util.Factory

createRefExpr(Name) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a reference (expression) to the given name.

createRelOpAppl(Expr, Name) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a relation operator application, that is a MemPred with mixfix set to true.

createRewriteCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createRewriteCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSchema(Name, SchText) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a schema definition, that is an axiomatic definition containing a constant declaration of the name to the given schema text and with Box set to SchBox.

createSchema(Name, List<? extends Name>, SchText) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a generic schema definition, that is an axiomatic definition containing a constant declaration of the name to the given schema text and with Box set to SchBox.

createSequence(List<? extends Expr>) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a sequence, that is a set of pairs of position (starting from 1) and corresponding component expression.

createSetMembership(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

createSimplificationCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SimplificationCommand.

createSimplificationCommand(BigInteger, RewriteKind, RewritePower) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SimplificationCommand with the given children.

createSimplificationCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSimplificationCommand(BigInteger, RewriteKind, RewritePower) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSimplificationCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of SimplificationCommand

createSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<SimplificationCommand>}

createSimplificationCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SimplificationCommand.

createSimplificationCommand(BigInteger, RewriteKind, RewritePower) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SimplificationCommand with the given children.

createSimplifyCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createSimplifyCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSorryCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SorryCommand.

createSorryCommand(BigInteger, Boolean) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SorryCommand with the given children.

createSorryCommand(boolean) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createSorryCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSorryCommand(BigInteger, Boolean) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSorryCommand(boolean) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSorryCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of SorryCommand

createSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<SorryCommand>}

createSorryCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SorryCommand.

createSorryCommand(BigInteger, Boolean) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SorryCommand with the given children.

createSplitCommand(Pred) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createSplitCommand(Pred) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSubstitutionCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SubstitutionCommand.

createSubstitutionCommand(BigInteger, ProofCommand, NameList, Expr, Pred, SubstitutionKind) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of SubstitutionCommand with the given children.

createSubstitutionCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSubstitutionCommand(BigInteger, ProofCommand, NameList, Expr, Pred, SubstitutionKind) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createSubstitutionCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of SubstitutionCommand

createSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<SubstitutionCommand>}

createSubstitutionCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SubstitutionCommand.

createSubstitutionCommand(BigInteger, ProofCommand, NameList, Expr, Pred, SubstitutionKind) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of SubstitutionCommand with the given children.

createTrivialReduceCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createTrivialReduceCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createTrivialRewriteCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createTrivialRewriteCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createTrivialSimplifyCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createTrivialSimplifyCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createTupleExpr(Expr, Expr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a pair, that is a tuple expression with two elements.

createUseCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of UseCommand.

createUseCommand(BigInteger, InstantiationList, RefExpr) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of UseCommand with the given children.

createUseCommand(RefExpr) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createUseCommand(RefExpr, InstantiationList) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createUseCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createUseCommand(BigInteger, InstantiationList, RefExpr) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createUseCommand(RefExpr) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createUseCommand(RefExpr, InstantiationList) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createUseCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of UseCommand

createUseCommand(UseCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<UseCommand>}

createUseCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of UseCommand.

createUseCommand(BigInteger, InstantiationList, RefExpr) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of UseCommand with the given children.

createWithCommand() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of WithCommand.

createWithCommand(BigInteger, ProofCommand, NameList, Expr, Pred, Boolean) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of WithCommand with the given children.

createWithCommand() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithCommand(BigInteger, ProofCommand, NameList, Expr, Pred, Boolean) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of WithCommand

createWithCommand(WithCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<WithCommand>}

createWithCommand() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of WithCommand.

createWithCommand(BigInteger, ProofCommand, NameList, Expr, Pred, Boolean) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of WithCommand with the given children.

createWithDisabledCommand(NameList, ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createWithDisabledCommand(NameList, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithEnabledCommand(NameList, ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createWithEnabledCommand(NameList, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithExpressionCommand(Expr, ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createWithExpressionCommand(Expr, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithNormalizationCommand(ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createWithNormalizationCommand(ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWithPredicateCommand(Pred, ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

createWithPredicateCommand(Pred, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createWrappedCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of WrappedCommand

createWrappedCommand(WrappedCommand) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<WrappedCommand>}

createZEvesLabel() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ZEvesLabel.

createZEvesLabel(Name, LabelAbility, LabelUsage) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ZEvesLabel with the given children.

createZEvesLabel() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createZEvesLabel(Name, LabelAbility, LabelUsage) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createZEvesLabel() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ZEvesLabel

createZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ZEvesLabel>}

createZEvesLabel() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ZEvesLabel.

createZEvesLabel(Name, LabelAbility, LabelUsage) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ZEvesLabel with the given children.

createZEvesNote() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ZEvesNote.

createZEvesNote(String) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

Creates an instance of ZEvesNote with the given children.

createZEvesNote() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createZEvesNote(String) - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

createZEvesNote() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of ZEvesNote

createZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create an instance of JAXBElement<ZEvesNote>}

createZEvesNote() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ZEvesNote.

createZEvesNote(String) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an instance of ZEvesNote with the given children.

createZName(String, StrokeList) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a ZName with the given word and strokes and id set to null.

createZName(String) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a ZName from a decorword, that is a string that may contain strokes at the end.

createZName(ZName) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a referencing name that refers to the given declaring name, i.e., just copies the given ZName.

createZNumeral(int) - Method in class net.sourceforge.czt.zeves.util.Factory

currentProofStep() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

currentProofStep() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

D

DECLARATION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DECLARATION_PART - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DECLARE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DISABLED - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DISABLEDDEFTAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DISABLEDDEFTAGCHAR - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

disabled paragraph definition character marker (unboxed cross).

DISABLEDDEFTAGCHAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

disabled paragraph definition character marker (unboxed cross).

DISABLEDTHMTAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DISABLEDTHMTAGCHAR - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

disabled theorem character marker (boxed cross).

DISABLEDTHMTAGCHAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

disabled theorem character marker (boxed cross).

DISJUNCTIVE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

DOMAIN_CHECK - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

E

enabled - Variable in class net.sourceforge.czt.zeves.jaxb.gen.WithCommand

ENABLED - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

EQUALITY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

Compares the specified object with this ApplyCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

Compares the specified object with this CaseAnalysisCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

Compares the specified object with this ComplexCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

Compares the specified object with this InstantiationCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

Compares the specified object with this InstantiationImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

Compares the specified object with this NormalizationCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandImpl

Compares the specified object with this ProofCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

Compares the specified object with this ProofCommandInfoImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

Compares the specified object with this ProofScriptImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

Compares the specified object with this ProofTypeImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

Compares the specified object with this QuantifiersCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

Compares the specified object with this SimplificationCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

Compares the specified object with this SorryCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

Compares the specified object with this SubstitutionCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

Compares the specified object with this UseCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

Compares the specified object with this WithCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

Compares the specified object with this WrappedCommandImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

Compares the specified object with this ZEvesLabelImpl for equality.

equals(Object) - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

Compares the specified object with this ZEvesNoteImpl for equality.

expr - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

expr - Variable in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

EXPRESSION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

F

Factory - Class in net.sourceforge.czt.zeves.util

An object factory for the AST.

Factory() - Constructor for class net.sourceforge.czt.zeves.util.Factory

Creates a new convenience factory that uses the standard factory implementation for creating AST terms.

Factory(ZEvesFactory) - Constructor for class net.sourceforge.czt.zeves.util.Factory

Creates a new convenience factory that uses the given base factory for creating AST terms.

FACTORY - Static variable in class net.sourceforge.czt.zeves.util.ZEvesUtils

FORMULA - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

FREETYPE_EXPANSION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

FREETYPE_INDUCTION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

FREETYPE_INJECTIVE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

FREETYPE_MEMBER - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisKind

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.InstantiationKind

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelAbility

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelUsage

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.NormalizationKind

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepKind

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepScope

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewriteKind

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewritePower

fromValue(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.SubstitutionKind

G

get(int) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Returns the element at the specified position in this list.

get(int) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Returns the element at the specified position in this list.

get(int) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Returns the element at the specified position in this list.

getAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

getAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

getAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

getAnns() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Returns a list of annotiations.

getAnns() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Returns a list of annotiations.

getAnns() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Returns a list of annotiations.

getCaseAnalysisKind() - Method in interface net.sourceforge.czt.zeves.ast.CaseAnalysisCommand

Returns the CaseAnalysisKind element.

getCaseAnalysisKind() - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

getCaseAnalysisKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

Gets the value of the caseAnalysisKind property.

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

getChildren() - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

getConcreteSyntaxSymbolLongDesc(ZEvesConcreteSyntaxSymbol) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getConcreteSyntaxSymbolShortDesc(ZEvesConcreteSyntaxSymbol) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getContents() - Method in class net.sourceforge.czt.zeves.util.LongDescriptionResourceBundle

getContents() - Method in class net.sourceforge.czt.zeves.util.ShortDescriptionResourceBundle

getContext() - Method in class net.sourceforge.czt.zeves.jaxb.JaxbXmlReader

getContext() - Method in class net.sourceforge.czt.zeves.jaxb.JaxbXmlWriter

getDefaultAbility() - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getDefaultUsage() - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getDescription() - Method in enum net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbol

getEnabled() - Method in interface net.sourceforge.czt.zeves.ast.WithCommand

Returns the Enabled element.

getEnabled() - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

getExpr() - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Returns the Expr element.

getExpr() - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Returns the Expr element.

getExpr() - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

getExpr() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

getExpr() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Gets the value of the expr property.

getExpr() - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Gets the value of the expr property.

getInstantiation() - Method in interface net.sourceforge.czt.zeves.ast.InstantiationList

getInstantiation() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

getInstantiation() - Method in class net.sourceforge.czt.zeves.jaxb.gen.InstantiationList

Gets the value of the instantiation property.

getInstantiationKind() - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Returns the InstantiationKind element.

getInstantiationKind() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

getInstantiationKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Gets the value of the instantiationKind property.

getInstantiationList() - Method in interface net.sourceforge.czt.zeves.ast.InstantiationCommand

Returns the InstantiationList element.

getInstantiationList() - Method in class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

getInstantiationList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.InstantiationCommand

Gets the value of the instantiationList property.

getInstantiationListFromExpr(Expr) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getKeepGoal() - Method in interface net.sourceforge.czt.zeves.ast.SorryCommand

Returns the KeepGoal element.

getKeepGoal() - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

getLabel(Term) - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getLabelAbility() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Returns the LabelAbility element.

getLabelAbility() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

getLabelAbility() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Gets the value of the labelAbility property.

getLabelUsage() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Returns the LabelUsage element.

getLabelUsage() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

getLabelUsage() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Gets the value of the labelUsage property.

getList() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

getList() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

getList() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

getLocalHost() - Static method in class net.sourceforge.czt.zeves.util.ZEvesUtils

getName() - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Returns the Name element.

getName() - Method in interface net.sourceforge.czt.zeves.ast.ProofScript

Returns the Name element.

getName() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Returns the Name element.

getName() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

getName() - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

getName() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

getName() - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Gets the value of the name property.

getName() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

Gets the value of the name property.

getName() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Gets the value of the name property.

getNameList() - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Returns the NameList element.

getNameList() - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

getNameList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Gets the value of the nameList property.

getNormalizationKind() - Method in interface net.sourceforge.czt.zeves.ast.NormalizationCommand

Returns the NormalizationKind element.

getNormalizationKind() - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

getNormalizationKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.NormalizationCommand

Gets the value of the normalizationKind property.

getNote() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesNote

Returns the Note element.

getNote() - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

getNote() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesNote

Gets the value of the note property.

getPred() - Method in interface net.sourceforge.czt.zeves.ast.CaseAnalysisCommand

Returns the Pred element.

getPred() - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Returns the Pred element.

getPred() - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

getPred() - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

getPred() - Method in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

Gets the value of the pred property.

getPred() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Gets the value of the pred property.

getProofCommand() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandList

getProofCommand() - Method in interface net.sourceforge.czt.zeves.ast.WrappedCommand

Returns the ProofCommand element.

getProofCommand() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

getProofCommand() - Method in class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

getProofCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandList

Gets the value of the proofCommand property.

getProofCommand() - Method in class net.sourceforge.czt.zeves.jaxb.gen.WrappedCommand

Gets the value of the proofCommand property.

getProofCommandInfo() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfoList

getProofCommandInfo() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

getProofCommandInfo() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfoList

Gets the value of the proofCommandInfo property.

getProofCommandInfoList() - Method in interface net.sourceforge.czt.zeves.ast.ProofType

Returns the ProofCommandInfoList element.

getProofCommandInfoList() - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

getProofCommandInfoList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofType

Gets the value of the proofCommandInfoList property.

getProofCommandList() - Method in interface net.sourceforge.czt.zeves.ast.ProofScript

Returns the ProofCommandList element.

getProofCommandList() - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

getProofCommandList() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

Gets the value of the proofCommandList property.

getProofStep() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommand

Returns the ProofStep element.

getProofStep() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandImpl

getProofStep() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommand

Gets the value of the proofStep property.

getProofStepKind() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Returns the ProofStepKind element.

getProofStepKind() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

getProofStepKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Gets the value of the proofStepKind property.

getProofStepRank() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Returns the ProofStepRank element.

getProofStepRank() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

getProofStepRank() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Gets the value of the proofStepRank property.

getProofStepScope() - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Returns the ProofStepScope element.

getProofStepScope() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

getProofStepScope() - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Gets the value of the proofStepScope property.

getRewriteKind() - Method in interface net.sourceforge.czt.zeves.ast.SimplificationCommand

Returns the RewriteKind element.

getRewriteKind() - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

getRewriteKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

Gets the value of the rewriteKind property.

getRewritePower() - Method in interface net.sourceforge.czt.zeves.ast.SimplificationCommand

Returns the RewritePower element.

getRewritePower() - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

getRewritePower() - Method in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

Gets the value of the rewritePower property.

getSubstitutionKind() - Method in interface net.sourceforge.czt.zeves.ast.SubstitutionCommand

Returns the SubstitutionKind element.

getSubstitutionKind() - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

getSubstitutionKind() - Method in class net.sourceforge.czt.zeves.jaxb.gen.SubstitutionCommand

Gets the value of the substitutionKind property.

getTheoremRef() - Method in interface net.sourceforge.czt.zeves.ast.UseCommand

Returns the TheoremRef element.

getTheoremRef() - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

getTheoremRef() - Method in class net.sourceforge.czt.zeves.jaxb.gen.UseCommand

Gets the value of the theoremRef property.

getThmName() - Method in interface net.sourceforge.czt.zeves.ast.ApplyCommand

This is a convenience method.

getThmName() - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

getWordAndStrokes(String, ZStrokeList) - Method in class net.sourceforge.czt.zeves.util.Factory

getZEvesFactory() - Method in class net.sourceforge.czt.zeves.util.Factory

Gives access to the inner extension-factory within this factory bridge.

getZName() - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

This is a convenience method.

getZName() - Method in interface net.sourceforge.czt.zeves.ast.ProofScript

This is a convenience method.

getZName() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

This is a convenience method.

getZName() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

getZName() - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

getZName() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

getZNameList() - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

This is a convenience method.

getZNameList() - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

This is a convenience method.

H

hasAnn() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

hasAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

hasAnn() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

hasAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

hasAnn() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

hasAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

Returns the hash code value for this ApplyCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

Returns the hash code value for this CaseAnalysisCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

Returns the hash code value for this ComplexCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

Returns the hash code value for this InstantiationCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

Returns the hash code value for this InstantiationImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

Returns the hash code value for this NormalizationCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandImpl

Returns the hash code value for this ProofCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

Returns the hash code value for this ProofCommandInfoImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

Returns the hash code value for this ProofScriptImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

Returns the hash code value for this ProofTypeImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

Returns the hash code value for this QuantifiersCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

Returns the hash code value for this SimplificationCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

Returns the hash code value for this SorryCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

Returns the hash code value for this SubstitutionCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

Returns the hash code value for this UseCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

Returns the hash code value for this WithCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

Returns the hash code value for this WrappedCommandImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

Returns the hash code value for this ZEvesLabelImpl.

hashCode() - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

Returns the hash code value for this ZEvesNoteImpl.

HELP - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

HISTORY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

I

INBAG - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag containment.

INBAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag containment.

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

public attribute determining whether to log to the standard output information about who is creating this instance of InstantiationListImpl (e.g., ic >= sl)

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ProofCommandInfoListImpl (e.g., ic >= sl)

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

public attribute determining whether to log to the standard output information about who is creating this instance of ProofCommandListImpl (e.g., ic >= sl)

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

Only concrete classes get the instance count method visible

instanceCount() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

Only concrete classes get the instance count method visible

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ApplyCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

instancesFinalised() - Static method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

INSTANTIATE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

Instantiation - Interface in net.sourceforge.czt.zeves.ast

Encapsulates one instantiation or replacement for the instantiate or use commands.

Instantiation - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for Instantiation complex type.

Instantiation() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

instantiation - Variable in class net.sourceforge.czt.zeves.jaxb.gen.InstantiationList

InstantiationCommand - Interface in net.sourceforge.czt.zeves.ast

Abstract command for instantiations.

InstantiationCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for InstantiationCommand complex type.

InstantiationCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.InstantiationCommand

InstantiationCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface InstantiationCommand.

InstantiationCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

The default constructor.

InstantiationCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

InstantiationCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) InstantiationCommand visitor.

InstantiationImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface Instantiation.

InstantiationImpl() - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationImpl

The default constructor.

InstantiationImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationImpl

InstantiationKind - Enum in net.sourceforge.czt.zeves.ast

A(n) InstantiationKind enumeration.

instantiationKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

InstantiationKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for InstantiationKind.

InstantiationList - Interface in net.sourceforge.czt.zeves.ast

List of possible instantiations.

instantiationList - Variable in class net.sourceforge.czt.zeves.jaxb.gen.InstantiationCommand

InstantiationList - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for InstantiationList complex type.

InstantiationList() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.InstantiationList

InstantiationListImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface InstantiationList.

InstantiationListImpl() - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationListImpl

The default constructor.

InstantiationListImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.InstantiationListImpl

InstantiationListVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) InstantiationList visitor.

InstantiationVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) Instantiation visitor.

INVOKE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

isEnabled() - Method in class net.sourceforge.czt.zeves.jaxb.gen.WithCommand

Gets the value of the enabled property.

isKeepGoal() - Method in class net.sourceforge.czt.zeves.jaxb.gen.SorryCommand

Gets the value of the keepGoal property.

isZProofDollar(ZChar) - Static method in class net.sourceforge.czt.zeves.util.ZEvesChar

J

JaxbToAst - Class in net.sourceforge.czt.zeves.jaxb

The unmarshaller responsible for deserializing XML data.

JaxbToAst() - Constructor for class net.sourceforge.czt.zeves.jaxb.JaxbToAst

JaxbToAst(ZFactory, ZEvesFactory) - Constructor for class net.sourceforge.czt.zeves.jaxb.JaxbToAst

JaxbXmlReader - Class in net.sourceforge.czt.zeves.jaxb

The unmarshaller responsible for deserializing XML data.

JaxbXmlReader(ZFactory, ZEvesFactory) - Constructor for class net.sourceforge.czt.zeves.jaxb.JaxbXmlReader

JaxbXmlReader() - Constructor for class net.sourceforge.czt.zeves.jaxb.JaxbXmlReader

JaxbXmlWriter - Class in net.sourceforge.czt.zeves.jaxb

The Jaxb marshaller responsible for serializing XML data.

JaxbXmlWriter() - Constructor for class net.sourceforge.czt.zeves.jaxb.JaxbXmlWriter

K

keepGoal - Variable in class net.sourceforge.czt.zeves.jaxb.gen.SorryCommand

L

LabelAbility - Enum in net.sourceforge.czt.zeves.ast

A(n) LabelAbility enumeration.

LabelAbility - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for LabelAbility.

labelAbility - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

LabelUsage - Enum in net.sourceforge.czt.zeves.ast

A(n) LabelUsage enumeration.

LabelUsage - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for LabelUsage.

labelUsage - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

LBAG - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

left bag display bracket.

LBAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

left bag display bracket.

LEMMA - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

list() - Method in class net.sourceforge.czt.zeves.util.Factory

Creates an empty list of the given element type.

list(E...) - Method in class net.sourceforge.czt.zeves.util.Factory

Creates a list with the given elements.

LLABEL - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

left label bracket.

LLABEL - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

left label bracket.

LongDescriptionResourceBundle - Class in net.sourceforge.czt.zeves.util

This resource bundle translates ConcreteSyntaxSymbol elements into long human-readable descriptions.

LongDescriptionResourceBundle() - Constructor for class net.sourceforge.czt.zeves.util.LongDescriptionResourceBundle

LZNOTE - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

left znote bracket.

LZNOTE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

left znote bracket.

M

matchOtherSize(String) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

matchOtherStrings(String) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

mZEvesFactory_ - Variable in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

N

name - Variable in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

name - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

name - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

nameList - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

net.sourceforge.czt.zeves.ast - package net.sourceforge.czt.zeves.ast

Interfaces of the AST for ZEves.

net.sourceforge.czt.zeves.impl - package net.sourceforge.czt.zeves.impl

Implementation classes of the AST for ZEves.

net.sourceforge.czt.zeves.jaxb - package net.sourceforge.czt.zeves.jaxb

Provides classes enabling validation as well as reading and writing XML using Jaxb generated classes.

net.sourceforge.czt.zeves.jaxb.gen - package net.sourceforge.czt.zeves.jaxb.gen

Classes generated by Jaxb.

net.sourceforge.czt.zeves.util - package net.sourceforge.czt.zeves.util

net.sourceforge.czt.zeves.visitor - package net.sourceforge.czt.zeves.visitor

Visitors for the AST for ZEves.

NEXT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

NORMALIZATION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

NormalizationCommand - Interface in net.sourceforge.czt.zeves.ast

Term rewriting via normal forms.

NormalizationCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for NormalizationCommand complex type.

NormalizationCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.NormalizationCommand

NormalizationCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface NormalizationCommand.

NormalizationCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

The default constructor.

NormalizationCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

NormalizationCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) NormalizationCommand visitor.

NormalizationKind - Enum in net.sourceforge.czt.zeves.ast

A(n) NormalizationKind enumeration.

normalizationKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.NormalizationCommand

NormalizationKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for NormalizationKind.

note - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesNote

O

ObjectFactory - Class in net.sourceforge.czt.zeves.jaxb.gen

This object contains factory methods for each Java content interface and Java element interface generated in the net.sourceforge.czt.zeves.jaxb.gen package.

ObjectFactory() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ObjectFactory

Create a new ObjectFactory that can be used to create new instances of schema derived classes for package: net.sourceforge.czt.zeves.jaxb.gen

OOPS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

OTIMES - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag scalling.

OTIMES - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag scalling.

P

PARENT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

pred - Variable in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

pred - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

PREDICATE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

PRENEX - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

PRINT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

PrintVisitor - Class in net.sourceforge.czt.zeves.util

PrintVisitor() - Constructor for class net.sourceforge.czt.zeves.util.PrintVisitor

PrintVisitor(boolean) - Constructor for class net.sourceforge.czt.zeves.util.PrintVisitor

PROOF - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ProofCommand - Interface in net.sourceforge.czt.zeves.ast

Abstract proof command

ProofCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofCommand complex type.

ProofCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofCommand

proofCommand - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandList

proofCommand - Variable in class net.sourceforge.czt.zeves.jaxb.gen.WrappedCommand

ProofCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofCommand.

ProofCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandImpl

The default constructor.

ProofCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandImpl

ProofCommandInfo - Interface in net.sourceforge.czt.zeves.ast

ProofCommandInfo - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofCommandInfo complex type.

ProofCommandInfo() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

proofCommandInfo - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfoList

ProofCommandInfoImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofCommandInfo.

ProofCommandInfoImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

The default constructor.

ProofCommandInfoImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

ProofCommandInfoList - Interface in net.sourceforge.czt.zeves.ast

ProofCommandInfoList - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofCommandInfoList complex type.

ProofCommandInfoList() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfoList

proofCommandInfoList - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofType

ProofCommandInfoListImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofCommandInfoList.

ProofCommandInfoListImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

The default constructor.

ProofCommandInfoListImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

ProofCommandInfoListVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofCommandInfoList visitor.

ProofCommandInfoVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofCommandInfo visitor.

ProofCommandList - Interface in net.sourceforge.czt.zeves.ast

ProofCommandList - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofCommandList complex type.

ProofCommandList() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandList

proofCommandList - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

ProofCommandListImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofCommandList.

ProofCommandListImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

The default constructor.

ProofCommandListImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

ProofCommandListVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofCommandList visitor.

ProofCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofCommand visitor.

ProofScript - Interface in net.sourceforge.czt.zeves.ast

Sequence of proof commands

ProofScript - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofScript complex type.

ProofScript() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

ProofScriptImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofScript.

ProofScriptImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofScriptImpl

The default constructor.

ProofScriptImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofScriptImpl

ProofScriptVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofScript visitor.

proofStep - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommand

ProofStepKind - Enum in net.sourceforge.czt.zeves.ast

A(n) ProofStepKind enumeration.

proofStepKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

ProofStepKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofStepKind.

proofStepRank - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

ProofStepScope - Enum in net.sourceforge.czt.zeves.ast

A(n) ProofStepScope enumeration.

proofStepScope - Variable in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

ProofStepScope - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofStepScope.

ProofType - Interface in net.sourceforge.czt.zeves.ast

Proof command information collected to form a proof script type.

ProofType - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ProofType complex type.

ProofType() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ProofType

ProofTypeImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ProofType.

ProofTypeImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ProofTypeImpl

The default constructor.

ProofTypeImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ProofTypeImpl

ProofTypeVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ProofType visitor.

PROVE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

Q

QNTINSTANTIATION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

QuantifiersCommand - Interface in net.sourceforge.czt.zeves.ast

Quantifier manipulation and elimination.

QuantifiersCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for QuantifiersCommand complex type.

QuantifiersCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.QuantifiersCommand

QuantifiersCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface QuantifiersCommand.

QuantifiersCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

The default constructor.

QuantifiersCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.QuantifiersCommandImpl

QuantifiersCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) QuantifiersCommand visitor.

QUIT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

R

RBAG - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

right bag display bracket.

RBAG - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

right bag display bracket.

READ - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

REARRANGE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

REDUCE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

remove(int) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Removes the element at the specified position in this list.

remove(int) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Removes the element at the specified position in this list.

remove(int) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Removes the element at the specified position in this list.

removeAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

removeAnn(T) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

removeAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

removeAnn(T) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

removeAnn(Class<T>) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

removeAnn(T) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

RESET - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

resetProofSteps() - Method in interface net.sourceforge.czt.zeves.ast.ZEvesFactory

resetProofSteps() - Method in class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

RETRY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

REWRITE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

RewriteKind - Enum in net.sourceforge.czt.zeves.ast

A(n) RewriteKind enumeration.

RewriteKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for RewriteKind.

rewriteKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

RewritePower - Enum in net.sourceforge.czt.zeves.ast

A(n) RewritePower enumeration.

RewritePower - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for RewritePower.

rewritePower - Variable in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

RLABEL - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

right label bracket.

RLABEL - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

right label bracket.

RZNOTE - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

right znote bracket.

RZNOTE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

right znote bracket.

S

SCHEMA_BIND_SELECT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SCHEMA_INSET - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SCHEMA_MEMBER - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SCHEMA_SET_IN_POWERSET - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SCRIPT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

set(int, Instantiation) - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Replaces the elment at the specifed position in this list with the specified element.

set(int, ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Replaces the elment at the specifed position in this list with the specified element.

set(int, ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Replaces the elment at the specifed position in this list with the specified element.

setCaseAnalysisKind(CaseAnalysisKind) - Method in interface net.sourceforge.czt.zeves.ast.CaseAnalysisCommand

Sets the CaseAnalysisKind element.

setCaseAnalysisKind(CaseAnalysisKind) - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

setCaseAnalysisKind(CaseAnalysisKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

Sets the value of the caseAnalysisKind property.

setEnabled(Boolean) - Method in interface net.sourceforge.czt.zeves.ast.WithCommand

Sets the Enabled element.

setEnabled(Boolean) - Method in class net.sourceforge.czt.zeves.impl.WithCommandImpl

setEnabled(Boolean) - Method in class net.sourceforge.czt.zeves.jaxb.gen.WithCommand

Sets the value of the enabled property.

setExpr(Expr) - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Sets the Expr element.

setExpr(Expr) - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Sets the Expr element.

setExpr(Expr) - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

setExpr(Expr) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

setExpr(JAXBElement<? extends Expr>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Sets the value of the expr property.

setExpr(JAXBElement<? extends Expr>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Sets the value of the expr property.

setInstantiationKind(InstantiationKind) - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Sets the InstantiationKind element.

setInstantiationKind(InstantiationKind) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

setInstantiationKind(InstantiationKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Sets the value of the instantiationKind property.

setInstantiationList(InstantiationList) - Method in interface net.sourceforge.czt.zeves.ast.InstantiationCommand

Sets the InstantiationList element.

setInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.impl.InstantiationCommandImpl

setInstantiationList(JAXBElement<InstantiationList>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.InstantiationCommand

Sets the value of the instantiationList property.

setKeepGoal(Boolean) - Method in interface net.sourceforge.czt.zeves.ast.SorryCommand

Sets the KeepGoal element.

setKeepGoal(Boolean) - Method in class net.sourceforge.czt.zeves.impl.SorryCommandImpl

setKeepGoal(Boolean) - Method in class net.sourceforge.czt.zeves.jaxb.gen.SorryCommand

Sets the value of the keepGoal property.

setLabelAbility(LabelAbility) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Sets the LabelAbility element.

setLabelAbility(LabelAbility) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

setLabelAbility(LabelAbility) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Sets the value of the labelAbility property.

setLabelUsage(LabelUsage) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Sets the LabelUsage element.

setLabelUsage(LabelUsage) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

setLabelUsage(LabelUsage) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Sets the value of the labelUsage property.

setName(Name) - Method in interface net.sourceforge.czt.zeves.ast.Instantiation

Sets the Name element.

setName(Name) - Method in interface net.sourceforge.czt.zeves.ast.ProofScript

Sets the Name element.

setName(Name) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesLabel

Sets the Name element.

setName(Name) - Method in class net.sourceforge.czt.zeves.impl.InstantiationImpl

setName(Name) - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

setName(Name) - Method in class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

setName(JAXBElement<? extends Name>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.Instantiation

Sets the value of the name property.

setName(JAXBElement<? extends Name>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

Sets the value of the name property.

setName(JAXBElement<? extends Name>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

Sets the value of the name property.

setNameList(NameList) - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Sets the NameList element.

setNameList(NameList) - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

setNameList(JAXBElement<? extends NameList>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Sets the value of the nameList property.

setNormalizationKind(NormalizationKind) - Method in interface net.sourceforge.czt.zeves.ast.NormalizationCommand

Sets the NormalizationKind element.

setNormalizationKind(NormalizationKind) - Method in class net.sourceforge.czt.zeves.impl.NormalizationCommandImpl

setNormalizationKind(NormalizationKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.NormalizationCommand

Sets the value of the normalizationKind property.

setNote(String) - Method in interface net.sourceforge.czt.zeves.ast.ZEvesNote

Sets the Note element.

setNote(String) - Method in class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

setNote(String) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ZEvesNote

Sets the value of the note property.

setPred(Pred) - Method in interface net.sourceforge.czt.zeves.ast.CaseAnalysisCommand

Sets the Pred element.

setPred(Pred) - Method in interface net.sourceforge.czt.zeves.ast.ComplexCommand

Sets the Pred element.

setPred(Pred) - Method in class net.sourceforge.czt.zeves.impl.CaseAnalysisCommandImpl

setPred(Pred) - Method in class net.sourceforge.czt.zeves.impl.ComplexCommandImpl

setPred(JAXBElement<? extends Pred>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisCommand

Sets the value of the pred property.

setPred(JAXBElement<? extends Pred>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ComplexCommand

Sets the value of the pred property.

setProofCommand(ProofCommand) - Method in interface net.sourceforge.czt.zeves.ast.WrappedCommand

Sets the ProofCommand element.

setProofCommand(ProofCommand) - Method in class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

setProofCommand(JAXBElement<? extends ProofCommand>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.WrappedCommand

Sets the value of the proofCommand property.

setProofCommandInfoList(ProofCommandInfoList) - Method in interface net.sourceforge.czt.zeves.ast.ProofType

Sets the ProofCommandInfoList element.

setProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.impl.ProofTypeImpl

setProofCommandInfoList(JAXBElement<ProofCommandInfoList>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofType

Sets the value of the proofCommandInfoList property.

setProofCommandList(ProofCommandList) - Method in interface net.sourceforge.czt.zeves.ast.ProofScript

Sets the ProofCommandList element.

setProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.impl.ProofScriptImpl

setProofCommandList(JAXBElement<ProofCommandList>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofScript

Sets the value of the proofCommandList property.

setProofStep(BigInteger) - Method in interface net.sourceforge.czt.zeves.ast.ProofCommand

Sets the ProofStep element.

setProofStep(BigInteger) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandImpl

setProofStep(BigInteger) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommand

Sets the value of the proofStep property.

setProofStepKind(ProofStepKind) - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Sets the ProofStepKind element.

setProofStepKind(ProofStepKind) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

setProofStepKind(ProofStepKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Sets the value of the proofStepKind property.

setProofStepRank(BigInteger) - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Sets the ProofStepRank element.

setProofStepRank(BigInteger) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

setProofStepRank(BigInteger) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Sets the value of the proofStepRank property.

setProofStepScope(ProofStepScope) - Method in interface net.sourceforge.czt.zeves.ast.ProofCommandInfo

Sets the ProofStepScope element.

setProofStepScope(ProofStepScope) - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoImpl

setProofStepScope(ProofStepScope) - Method in class net.sourceforge.czt.zeves.jaxb.gen.ProofCommandInfo

Sets the value of the proofStepScope property.

setRewriteKind(RewriteKind) - Method in interface net.sourceforge.czt.zeves.ast.SimplificationCommand

Sets the RewriteKind element.

setRewriteKind(RewriteKind) - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

setRewriteKind(RewriteKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

Sets the value of the rewriteKind property.

setRewritePower(RewritePower) - Method in interface net.sourceforge.czt.zeves.ast.SimplificationCommand

Sets the RewritePower element.

setRewritePower(RewritePower) - Method in class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

setRewritePower(RewritePower) - Method in class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

Sets the value of the rewritePower property.

setSubstitutionKind(SubstitutionKind) - Method in interface net.sourceforge.czt.zeves.ast.SubstitutionCommand

Sets the SubstitutionKind element.

setSubstitutionKind(SubstitutionKind) - Method in class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

setSubstitutionKind(SubstitutionKind) - Method in class net.sourceforge.czt.zeves.jaxb.gen.SubstitutionCommand

Sets the value of the substitutionKind property.

setTheoremRef(RefExpr) - Method in interface net.sourceforge.czt.zeves.ast.UseCommand

Sets the TheoremRef element.

setTheoremRef(RefExpr) - Method in class net.sourceforge.czt.zeves.impl.UseCommandImpl

setTheoremRef(JAXBElement<RefExpr>) - Method in class net.sourceforge.czt.zeves.jaxb.gen.UseCommand

Sets the value of the theoremRef property.

ShortDescriptionResourceBundle - Class in net.sourceforge.czt.zeves.util

This resource bundle translates ConcreteSyntaxSymbol elements into long human-readable descriptions.

ShortDescriptionResourceBundle() - Constructor for class net.sourceforge.czt.zeves.util.ShortDescriptionResourceBundle

SimplificationCommand - Interface in net.sourceforge.czt.zeves.ast

Term rewriting and simplification commands of various kinds.

SimplificationCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for SimplificationCommand complex type.

SimplificationCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.SimplificationCommand

SimplificationCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface SimplificationCommand.

SimplificationCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

The default constructor.

SimplificationCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.SimplificationCommandImpl

SimplificationCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) SimplificationCommand visitor.

SIMPLIFY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

size() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

Returns the number of components in this list.

size() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

Returns the number of components in this list.

size() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

Returns the number of components in this list.

SORRY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SorryCommand - Interface in net.sourceforge.czt.zeves.ast

Sorry and Oops - virtual - commands; inspired by Isabelle's meanings: sorry is give up on proving, yet keep the theorem; oops, gives up on proving, but don't keep the theorem albeit leave the goal.

SorryCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for SorryCommand complex type.

SorryCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.SorryCommand

SorryCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface SorryCommand.

SorryCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.SorryCommandImpl

The default constructor.

SorryCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.SorryCommandImpl

SorryCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) SorryCommand visitor.

SPLIT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

STATUS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SUBBAGEQ - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag subset equal.

SUBBAGEQ - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag subset equal.

SUBSTITUTE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

SubstitutionCommand - Interface in net.sourceforge.czt.zeves.ast

Term substitution commands.

SubstitutionCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for SubstitutionCommand complex type.

SubstitutionCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.SubstitutionCommand

SubstitutionCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface SubstitutionCommand.

SubstitutionCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

The default constructor.

SubstitutionCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.SubstitutionCommandImpl

SubstitutionCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) SubstitutionCommand visitor.

SubstitutionKind - Enum in net.sourceforge.czt.zeves.ast

A(n) SubstitutionKind enumeration.

substitutionKind - Variable in class net.sourceforge.czt.zeves.jaxb.gen.SubstitutionCommand

SubstitutionKind - Enum in net.sourceforge.czt.zeves.jaxb.gen

Java class for SubstitutionKind.

SUMMARY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

T

theoremRef - Variable in class net.sourceforge.czt.zeves.jaxb.gen.UseCommand

THEOREMS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THETA_INSET - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THETA_MEMBER - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THETAS_EQUAL - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THMAXIOM - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THMFRULE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THMGRULE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THMREPLACEMENT - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THMRULE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

THROUGH - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

TO - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

toBig(Integer) - Method in class net.sourceforge.czt.zeves.util.Factory

toString() - Method in class net.sourceforge.czt.zeves.impl.InstantiationListImpl

toString() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandInfoListImpl

toString() - Method in class net.sourceforge.czt.zeves.impl.ProofCommandListImpl

TRIVIAL - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

TRY - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

U

UMINUS - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag difference.

UMINUS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag difference.

UNDO - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

UPLUS - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

bag union.

UPLUS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

bag union.

USE - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

UseCommand - Interface in net.sourceforge.czt.zeves.ast

Theorem / axiom introduction with particular parameters / instantiations.

UseCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for UseCommand complex type.

UseCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.UseCommand

UseCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface UseCommand.

UseCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.UseCommandImpl

The default constructor.

UseCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.UseCommandImpl

UseCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) UseCommand visitor.

UtilsImpl() - Constructor for class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor.UtilsImpl

V

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisKind

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.InstantiationKind

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelAbility

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelUsage

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.NormalizationKind

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepKind

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepScope

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.RewriteKind

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.RewritePower

value() - Method in enum net.sourceforge.czt.zeves.jaxb.gen.SubstitutionKind

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.CaseAnalysisKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.InstantiationKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.LabelAbility

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.LabelUsage

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.NormalizationKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.ProofStepKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.ProofStepScope

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.RewriteKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.RewritePower

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.ast.SubstitutionKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.InstantiationKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelAbility

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelUsage

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.NormalizationKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepScope

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewriteKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewritePower

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.SubstitutionKind

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbol

Returns the enum constant of this type with the specified name.

values() - Static method in enum net.sourceforge.czt.zeves.ast.CaseAnalysisKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.InstantiationKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.LabelAbility

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.LabelUsage

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.NormalizationKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.ProofStepKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.ProofStepScope

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.RewriteKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.RewritePower

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.ast.SubstitutionKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.CaseAnalysisKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.InstantiationKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelAbility

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.LabelUsage

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.NormalizationKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.ProofStepScope

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewriteKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.RewritePower

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.jaxb.gen.SubstitutionKind

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbol

Returns an array containing the constants of this enum type, in the order they are declared.

visit(Term) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitAndPred(AndPred) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitApplyCommand(ApplyCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitApplyCommand(ApplyCommand) - Method in interface net.sourceforge.czt.zeves.visitor.ApplyCommandVisitor

Visits a(n) ApplyCommand.

visitAxPara(AxPara) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitCaseAnalysisCommand(CaseAnalysisCommand) - Method in interface net.sourceforge.czt.zeves.visitor.CaseAnalysisCommandVisitor

Visits a(n) CaseAnalysisCommand.

visitComplexCommand(ComplexCommand) - Method in interface net.sourceforge.czt.zeves.visitor.ComplexCommandVisitor

Visits a(n) ComplexCommand.

visitConjPara(ConjPara) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitElementNSImpl(ElementNSImpl) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitExprPred(ExprPred) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitInstantiation(Instantiation) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitInstantiation(Instantiation) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitInstantiation(Instantiation) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitInstantiation(Instantiation) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitInstantiation(Instantiation) - Method in interface net.sourceforge.czt.zeves.visitor.InstantiationVisitor

Visits a(n) Instantiation.

visitInstantiationCommand(InstantiationCommand) - Method in interface net.sourceforge.czt.zeves.visitor.InstantiationCommandVisitor

Visits a(n) InstantiationCommand.

visitInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitInstantiationList(InstantiationList) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitInstantiationList(InstantiationList) - Method in interface net.sourceforge.czt.zeves.visitor.InstantiationListVisitor

Visits a(n) InstantiationList.

visitJAXBElement(JAXBElement<?>) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitLatexMarkupPara(LatexMarkupPara) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitNarrPara(NarrPara) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitNormalizationCommand(NormalizationCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitNormalizationCommand(NormalizationCommand) - Method in interface net.sourceforge.czt.zeves.visitor.NormalizationCommandVisitor

Visits a(n) NormalizationCommand.

visitObject(Object) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitPred(Pred) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofCommand(ProofCommand) - Method in interface net.sourceforge.czt.zeves.visitor.ProofCommandVisitor

Visits a(n) ProofCommand.

visitProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofCommandInfo(ProofCommandInfo) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitProofCommandInfo(ProofCommandInfo) - Method in interface net.sourceforge.czt.zeves.visitor.ProofCommandInfoVisitor

Visits a(n) ProofCommandInfo.

visitProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofCommandInfoList(ProofCommandInfoList) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitProofCommandInfoList(ProofCommandInfoList) - Method in interface net.sourceforge.czt.zeves.visitor.ProofCommandInfoListVisitor

Visits a(n) ProofCommandInfoList.

visitProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofCommandList(ProofCommandList) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitProofCommandList(ProofCommandList) - Method in interface net.sourceforge.czt.zeves.visitor.ProofCommandListVisitor

Visits a(n) ProofCommandList.

visitProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitProofScript(ProofScript) - Method in class net.sourceforge.czt.zeves.util.ZEvesGetNameVisitor

visitProofScript(ProofScript) - Method in interface net.sourceforge.czt.zeves.visitor.ProofScriptVisitor

Visits a(n) ProofScript.

visitProofType(ProofType) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitProofType(ProofType) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitProofType(ProofType) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitProofType(ProofType) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitProofType(ProofType) - Method in interface net.sourceforge.czt.zeves.visitor.ProofTypeVisitor

Visits a(n) ProofType.

visitQnt1Expr(Qnt1Expr) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitQuantifiersCommand(QuantifiersCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitQuantifiersCommand(QuantifiersCommand) - Method in interface net.sourceforge.czt.zeves.visitor.QuantifiersCommandVisitor

Visits a(n) QuantifiersCommand.

visitRenameExpr(RenameExpr) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSchExpr(SchExpr) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSimplificationCommand(SimplificationCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitSimplificationCommand(SimplificationCommand) - Method in interface net.sourceforge.czt.zeves.visitor.SimplificationCommandVisitor

Visits a(n) SimplificationCommand.

visitSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSorryCommand(SorryCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitSorryCommand(SorryCommand) - Method in interface net.sourceforge.czt.zeves.visitor.SorryCommandVisitor

Visits a(n) SorryCommand.

visitSpec(Spec) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitSubstitutionCommand(SubstitutionCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitSubstitutionCommand(SubstitutionCommand) - Method in interface net.sourceforge.czt.zeves.visitor.SubstitutionCommandVisitor

Visits a(n) SubstitutionCommand.

visitTerm(Term) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitTerm(Term) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxDescriptionVisitor

visitThetaExpr(ThetaExpr) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitUseCommand(UseCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitUseCommand(UseCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitUseCommand(UseCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitUseCommand(UseCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitUseCommand(UseCommand) - Method in interface net.sourceforge.czt.zeves.visitor.UseCommandVisitor

Visits a(n) UseCommand.

visitWithCommand(WithCommand) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitWithCommand(WithCommand) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitWithCommand(WithCommand) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitWithCommand(WithCommand) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitWithCommand(WithCommand) - Method in interface net.sourceforge.czt.zeves.visitor.WithCommandVisitor

Visits a(n) WithCommand.

visitWrappedCommand(WrappedCommand) - Method in interface net.sourceforge.czt.zeves.visitor.WrappedCommandVisitor

Visits a(n) WrappedCommand.

visitZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitZEvesLabel(ZEvesLabel) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitZEvesLabel(ZEvesLabel) - Method in interface net.sourceforge.czt.zeves.visitor.ZEvesLabelVisitor

Visits a(n) ZEvesLabel.

visitZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.zeves.jaxb.AstToJaxb

visitZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.zeves.jaxb.JaxbToAst

visitZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitZEvesNote(ZEvesNote) - Method in class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

visitZEvesNote(ZEvesNote) - Method in interface net.sourceforge.czt.zeves.visitor.ZEvesNoteVisitor

Visits a(n) ZEvesNote.

visitZParaList(ZParaList) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitZSchText(ZSchText) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

visitZSect(ZSect) - Method in class net.sourceforge.czt.zeves.util.PrintVisitor

W

WITH - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

WithCommand - Interface in net.sourceforge.czt.zeves.ast

Compound commands involving either specific theorem names and/or expressions/predicates.

WithCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for WithCommand complex type.

WithCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.WithCommand

WithCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface WithCommand.

WithCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.WithCommandImpl

The default constructor.

WithCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.WithCommandImpl

WithCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) WithCommand visitor.

WrappedCommand - Interface in net.sourceforge.czt.zeves.ast

Abstract proof command that wraps up another proof command within it.

WrappedCommand - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for WrappedCommand complex type.

WrappedCommand() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.WrappedCommand

WrappedCommandImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface WrappedCommand.

WrappedCommandImpl() - Constructor for class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

The default constructor.

WrappedCommandImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.WrappedCommandImpl

WrappedCommandVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) WrappedCommand visitor.

Z

ZEvesChar - Class in net.sourceforge.czt.zeves.util

An interface for commonly used Z Eves proofs characters.

ZEvesChar(char[]) - Constructor for class net.sourceforge.czt.zeves.util.ZEvesChar

ZEvesConcreteSyntaxDescriptionVisitor - Class in net.sourceforge.czt.zeves.util

ZEvesConcreteSyntaxDescriptionVisitor() - Constructor for class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxDescriptionVisitor

ZEvesConcreteSyntaxDescriptionVisitor(String, String) - Constructor for class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxDescriptionVisitor

ZEvesConcreteSyntaxSymbol - Enum in net.sourceforge.czt.zeves.util

ZEvesConcreteSyntaxSymbolVisitor - Class in net.sourceforge.czt.zeves.util

ZEvesConcreteSyntaxSymbolVisitor() - Constructor for class net.sourceforge.czt.zeves.util.ZEvesConcreteSyntaxSymbolVisitor

ZEvesConcreteSyntaxSymbolVisitor.Utils - Interface in net.sourceforge.czt.zeves.util

ZEvesConcreteSyntaxSymbolVisitor.UtilsImpl - Class in net.sourceforge.czt.zeves.util

ZEvesFactory - Interface in net.sourceforge.czt.zeves.ast

The object factory for the AST.

ZEvesFactoryImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the object factory for constructing concrete Z terms.

ZEvesFactoryImpl(Visitor<String>) - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

ZEvesFactoryImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesFactoryImpl

ZEvesGetNameVisitor - Class in net.sourceforge.czt.zeves.util

ZEvesGetNameVisitor() - Constructor for class net.sourceforge.czt.zeves.util.ZEvesGetNameVisitor

ZEvesLabel - Interface in net.sourceforge.czt.zeves.ast

Label to theorems and axiomatic predicates

ZEvesLabel - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ZEvesLabel complex type.

ZEvesLabel() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ZEvesLabel

ZEvesLabelImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ZEvesLabel.

ZEvesLabelImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

The default constructor.

ZEvesLabelImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesLabelImpl

ZEvesLabelVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ZEvesLabel visitor.

ZEvesNote - Interface in net.sourceforge.czt.zeves.ast

Notes and comments from the user within formal text (not type checked)

ZEvesNote - Class in net.sourceforge.czt.zeves.jaxb.gen

Java class for ZEvesNote complex type.

ZEvesNote() - Constructor for class net.sourceforge.czt.zeves.jaxb.gen.ZEvesNote

ZEvesNoteImpl - Class in net.sourceforge.czt.zeves.impl

An implementation of the interface ZEvesNote.

ZEvesNoteImpl() - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

The default constructor.

ZEvesNoteImpl(BaseFactory) - Constructor for class net.sourceforge.czt.zeves.impl.ZEvesNoteImpl

ZEvesNoteVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

A(n) ZEvesNote visitor.

ZEvesString - Interface in net.sourceforge.czt.zeves.util

An interface for commonly used Z pattern characters.

ZEvesUtils - Class in net.sourceforge.czt.zeves.util

ZEvesVisitor<R> - Interface in net.sourceforge.czt.zeves.visitor

An interface that collects all single visitor interfaces contained in this package.

ZEVESYNTAX - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZPROOF - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZPROOFCHAR - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

big turnstyle not bold.

ZPROOFCHAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

big turnstyle not bold.

ZPROOFCOMMANDSEP - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZPROOFDOLLAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZPROOFDOLLARCHAR - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

dollar sign for special thm names.

ZPROOFDOLLARCHAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

dollar sign for special thm names.

ZPROOFSECTION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZPROOFSECTIONCHAR - Static variable in class net.sourceforge.czt.zeves.util.ZEvesChar

big turnstyle bold.

ZPROOFSECTIONCHAR - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

big turnstyle bold.

ZSECTION - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

ZTAGS - Static variable in interface net.sourceforge.czt.zeves.util.ZEvesString

A B C D E F G H I J K L M N O P Q R S T U V W Z