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

A

addToDefiniton(RewriteRule) - Method in class vote.RuleTable

Puts a new rewrite rule at the definitions.

append(int) - Method in class vote.Path

Appends a specified position to this one.

applySubst(Substitution) - Method in class vote.FunctionCallNode

Applies a substitution to this term.

applySubst(Substitution) - Method in class vote.LiteralNode

Applies a substitution to this node.

applySubst(Substitution) - Method in class vote.Node

Applies a substitution to this term.

applySubst(Substitution) - Method in class vote.VariableNode

Applies a substitution to this node.

argument(int) - Method in class vote.FunctionCallNode

Returns the argument of the call at the specified position.

argument(int) - Method in class vote.OperationCall

Returns the argument of the call at the specified position.

arguments() - Method in class vote.FunctionCallNode

Returns the arguments of the call.

arguments() - Method in class vote.OperationCall

Returns the arguments of the call.

B

body - Variable in class vote.Imply

Conclusion of the implication.

BoolType - Static variable in class vote.Type

Boolean Type.

C

clone() - Method in class vote.FunctionCallNode

Creates and returns a copy of this object.

clone() - Method in class vote.LiteralNode

Creates and returns a copy of this object.

clone() - Method in class vote.Node

Creates and returns a copy of this object.

clone() - Method in class vote.VariableNode

Creates and returns a copy of this object.

completness() - Method in class vote.TSystem

Verify Completeness of System.

cond - Variable in class vote.Imply

Condition of the implication.

constant() - Method in class vote.Type

Returns the constant of the type.

Constructor - class vote.Constructor.

This class represents a constructor identifier.

Constructor(String, Type) - Constructor for class vote.Constructor

Constructor of the constructor.

contains(Node) - Method in class vote.NodeList

Tests if this list contains a specified node.

D

declareConstructor(String, Type) - Method in class vote.IdentTable

Declares a new constructor in this table Throw an error if the name is allready declared.

declareFunction(String, boolean, Type, List) - Method in class vote.IdentTable

Declares a new function in this table Throw an error if the name is allready declared.

declareOp(String, NodeList, Node) - Method in class vote.IdentTable

Declares a new operation in this table Throw an error if the name is allready declared.

declareParameter(String, Type) - Method in class vote.IdentTable

Declares a new parameter in this table.

declareType(String) - Method in class vote.IdentTable

Declares a new type in this table.

defaultCall(IdentTable) - Method in class vote.Operation

Returns a string representation of the default operation call.

dom(Path, Vector, int) - Method in class vote.FunctionCallNode

dom(Path, Vector, int) - Method in class vote.Node

domain() - Method in class vote.Node

Returns list of path domain of the term.

E

elsePart() - Method in class vote.IfInstruction

Returns the else part of instruction.

Empty - Static variable in class vote.Path

Empty path

equal(Type) - Method in class vote.Type

Indicates whether some other type is corresponding to this one.

equals(NodeList) - Method in class vote.NodeList

Tests if some other node list is "equal to" this one.

equals(Object) - Method in class vote.FunctionCallNode

Tests if some other object is "equal to" this one.

equals(Object) - Method in class vote.LiteralNode

Tests if some other object is "equal to" this node.

equals(Object) - Method in class vote.OperationCall

Tests if some other object is "equal to" this one.

equals(Object) - Method in class vote.VariableNode

Tests if some other object is "equal to" this node.

ErrType - Static variable in class vote.Type

Error Type.

F

FalseNode - Static variable in class vote.LiteralNode

FALSE Node.

find(Node) - Method in class vote.FunctionCallNode

Find the path to a substerm in a term.

find(Node) - Method in class vote.Node

Find the path to a substerm in a term.

freeVar(char) - Method in class vote.IdentTable

Gives a name not present in table.

fromFile(File) - Static method in class vote.Tool

Puts a file in a String.

Function - class vote.Function.

This class represents a function identifier

Function(String, Type, List) - Constructor for class vote.Function

Constructor of the function.

FunctionCallNode - class vote.FunctionCallNode.

This class implements a function call node.

FunctionCallNode(Function, NodeList) - Constructor for class vote.FunctionCallNode

Constructor of the function call node.

FunctionCallNode(Function, Node, Node) - Constructor for class vote.FunctionCallNode

Constructor of a binary function call node.

FunctionDefinition - class vote.FunctionDefinition.

This class represents a definition of a function as a list of rewrite axiom.

FunctionDefinition() - Constructor for class vote.FunctionDefinition

G

getAllFile(String) - Static method in class vote.Tool

Gets all the contents of a file in a string.

getAsPart(Node) - Method in class vote.FunctionCallNode

Tests if this function call node as an other as part.

getAsPart(Node) - Method in class vote.Node

Tests if this term as an other as part.

getAxiom(int) - Method in class vote.FunctionDefinition

Returns the definition at the specified position in this list.

getCar() - Method in class vote.OperationBin

Returns the first argument of binary list.

getCdr() - Method in class vote.OperationBin

Returns the second argument of binary list.

getCondition() - Method in class vote.IfInstruction

Returns the condition expression.

getDefinition() - Method in class vote.Constructor

Returns the definition of the constructor.

getDefinition() - Method in class vote.Function

Returns the definition of the function.

getDefinition() - Method in class vote.Transform

Returns the definition of the transform.

getDefinition(Function) - Method in class vote.RuleTable

Gets the definition of a specified function in this table.

getFirst() - Method in class vote.Transform

Returns the first expression of transform.

getFunction(String) - Method in class vote.IdentTable

Gets a function in this table.

getFunctions(Type) - Method in class vote.TSystem

Gets all functions with a specified type of this system.

getImage(Object) - Method in class vote.Substitution

Returns the node to which the specified node is mapped.

getLiteral(Type) - Method in class vote.LiteralNode

Returns literal of sub term with a specified type of this node.

getMessage() - Method in class vote.SemanticException

Returns the error message string of this throwable object.

getName() - Method in class vote.Ident

Accessor of the name of the identifier.

getNode(int) - Method in class vote.NodeList

Returns the node at the specified position in this list.

getObservator(String) - Method in class vote.IdentTable

Gets a observator in this table.

getOp(String) - Method in class vote.IdentTable

Gets a operation in this table.

getParameters() - Method in class vote.Operation

Returns list of parameters.

getParamsType() - Method in class vote.Function

Returns list of types of parameters.

getParamsType() - Method in class vote.Operation

Returns list of types of parameters.

getPrecond() - Method in class vote.Operation

Returns precondition of operation.

getSecond() - Method in class vote.Transform

Returns the second expression of transform.

getSort(int) - Method in class vote.SortList

Returns the sort at the specified position in this list.

getSorts() - Method in class vote.TSystem

Gets all sorts of this system.

getSubterm(Path) - Method in class vote.FunctionCallNode

Get subterm at specified path.

getSubterm(Path) - Method in class vote.Node

Gives subterm at specified path.

getT(int) - Method in class vote.TList

Returns the transform at the specified position in this list.

getType() - Method in class vote.Function

Returns the return type of the function.

getType() - Method in class vote.FunctionCallNode

Returns the type of the term.

getType() - Method in class vote.LiteralNode

Returns the type of the node.

getType() - Method in class vote.Node

Returns the type of the term.

getType() - Method in class vote.Variable

Returns the type of the variable.

getType() - Method in class vote.VariableNode

Returns the type of the node.

getType(String) - Method in class vote.IdentTable

Get a type in this table.

getValue() - Method in class vote.ReturnInstr

Returns the expression returned.

getVariables(Set) - Method in class vote.FunctionCallNode

Extends the set of variables with the ones of this term.

getVariables(Set) - Method in class vote.LiteralNode

Extends the set of variables (do nothing here).

getVariables(Set) - Method in class vote.Node

Extends the set of variables apparing in this term.

getVariables(Set) - Method in class vote.VariableNode

Extends the set of variables with this one.

greaterThan(Node) - Method in class vote.VariableNode

Tests if this variable node is greater (in order) than a function call node.

H

hashCode() - Method in class vote.LiteralNode

Returns a hash code for this literal node.

hashCode() - Method in class vote.VariableNode

Returns a hash code for this variable node.

I

Ident - class vote.Ident.

This class provides a skeletal implementation of an identifier.

Ident(String) - Constructor for class vote.Ident

Constructor of the identifier.

identifier() - Method in class vote.FunctionCallNode

Returns the identifier of the function.

identifier() - Method in class vote.OperationCall

Returns the identifier of the operation.

identifier() - Method in class vote.VariableNode

Returns the identifier of the variable.

IdentTable - class vote.IdentTable.

This class implement the table of ident of the parser.

IdentTable() - Constructor for class vote.IdentTable

IfInstruction - class vote.IfInstruction.

This class provides an implementation of a ternary if instruction.

IfInstruction(Node, Instruction, Instruction, int) - Constructor for class vote.IfInstruction

Constructor of the if instruction.

Imply - class vote.Imply.

This class implements an implication.

Imply(Node, Node) - Constructor for class vote.Imply

Constructor of an implication.

incrNumGene() - Method in class vote.Type

Increments and returns number of generated variables from this type.

Infix - class vote.Infix.

This class represents a function identifier

Infix(String, Type, Type, Type) - Constructor for class vote.Infix

Constructor of the function.

Init() - Method in class vote.IdentTable

Initialize table

Instruction - class vote.Instruction.

This class provides a skeletal implementation of an instruction.

Instruction(int) - Constructor for class vote.Instruction

Constructor of the instruction.

isBoolean() - Method in class vote.Type

Indicates if this type has boolean property.

isConstant() - Method in class vote.Node

Indicates if this term is a constant.

isConstructorRooted() - Method in class vote.Node

Tests if this term is rooted by a constructor symbol.

isGround() - Method in class vote.Node

Indicates if this term is ground.

isTrivial(Node) - Method in class vote.Node

Test if this term is a trivial subterm of another one.

isTrivial(Node) - Method in class vote.VariableNode

Test if this term is a trivial subterm of another one.

K

keep(String) - Method in class vote.IdentTable

Gets a Ident in this table.

L

leftSide() - Method in class vote.RewriteRule

Returns the left side of body of this rule.

length() - Method in class vote.Path

Returns the length of the path.

lineNumber() - Method in class vote.Instruction

Accessor of the line number.

LiteralNode - class vote.LiteralNode.

This class implements a constant node.

LiteralNode(boolean) - Constructor for class vote.LiteralNode

Constructor of a boolean literal node.

LiteralNode(int) - Constructor for class vote.LiteralNode

Constructor of a natural literal node.

M

main(String[]) - Static method in class vote.Tool

Main method of the program.

makeFilter(Node, Node) - Static method in class vote.Substitution

Returns a filter between two nodes, if possible.

makeFilter(Node, Substitution) - Method in class vote.FunctionCallNode

Constructs a filter between this function call node and an other one.

makeFilter(Node, Substitution) - Method in class vote.LiteralNode

Constructs a filter between this node and an other node.

makeFilter(Node, Substitution) - Method in class vote.Node

Constructs a filter between this term and an other.

makeFilter(Node, Substitution) - Method in class vote.VariableNode

Constructs a filter between this variable node and an other node.

N

NatType - Static variable in class vote.Type

Natural Integer Type.

newVariables() - Method in class vote.IdentTable

Removes all variables when parse a new clause.

next - Variable in class vote.Path

Rest of the path.

Node - class vote.Node.

This class provides a skeletal implementation of a typed term.

Node() - Constructor for class vote.Node

NodeList - class vote.NodeList.

This class represents a list of node.

NodeList() - Constructor for class vote.NodeList

NOP - Static variable in class vote.Operation

NOP Operation.

NopCall - Static variable in class vote.OperationCall

NOP operation call.

num - Variable in class vote.Path

Number of the argument.

numAsPart(Node) - Method in class vote.FunctionCallNode

Counts how many times this term as an other as part.

numAsPart(Node) - Method in class vote.Node

Counts how many times this term as an other as part.

O

Observator - class vote.Observator.

This class represents a observator identifier

Observator(String, Type, List) - Constructor for class vote.Observator

Constructor of the observator.

openFile(File) - Static method in class vote.Tool

Creates a buffered input strem from a file name.

Operation - class vote.Operation.

This class represents a operation identifier

Operation(String, NodeList) - Constructor for class vote.Operation

Constructor of the operation.

Operation(String, NodeList, Node) - Constructor for class vote.Operation

Second constructor of the operation.

OperationBin - class vote.OperationBin.

This class implements a operation List.

OperationBin(OperationCall, OperationBin) - Constructor for class vote.OperationBin

Constructor of the operation list node.

OperationCall - class vote.OperationCall.

This class implements a operation call.

OperationCall(Operation, NodeList) - Constructor for class vote.OperationCall

Constructor of the operation call node.

oppositeOf(Node) - Method in class vote.Type

Gives opposite of a specified boolean constant.

output() - Method in class vote.TSystem

Gives a output for this specification according to SPIKE grammar.

P

parameters - Variable in class vote.Operation

List of parameters.

parse(File) - Static method in class vote.Tool

Path - class vote.Path.

This class implements a path in a term.

Path(int, Path) - Constructor for class vote.Path

Constructor of the path.

prefix(int) - Method in class vote.Path

Returns the prefix of the path of a specified length.

R

remplaceSubterm(Path, Node) - Method in class vote.FunctionCallNode

Remplaces subterm at specified path by an other.

remplaceSubterm(Path, Node) - Method in class vote.Node

Remplace subterm at specified path by an other.

ReturnInstr - class vote.ReturnInstr.

This class provides an implementation of an return instruction with expression.

ReturnInstr(SubNode, int) - Constructor for class vote.ReturnInstr

Constructor of the return instruction.

RewriteRule - class vote.RewriteRule.

This class implements an oriented rule.

RewriteRule(FunctionCallNode, Node) - Constructor for class vote.RewriteRule

Constructs a rule with the specified conditions and body.

rightSide() - Method in class vote.RewriteRule

Returns the right side of body of this rule.

RuleTable - class vote.RuleTable.

This class implement the table of oriented rules of a system.

RuleTable() - Constructor for class vote.RuleTable

S

SemanticException - class vote.SemanticException.

Thrown when an syntaxic error is detected in a system.

SemanticException(String) - Constructor for class vote.SemanticException

Constructs a SemanticException with the specified detail message.

SemanticException(String, Node) - Constructor for class vote.SemanticException

Constructs a SemanticException with the specified detail message and the node with problem.

SemanticException(Type, Type, Instruction) - Constructor for class vote.SemanticException

Constructs a SemanticException with types in conflict in instruction.

SemanticException(Type, Type, Node) - Constructor for class vote.SemanticException

Constructs a SemanticException with types in conflict in expression.

SemanticException(Variable) - Constructor for class vote.SemanticException

Constructs a SemanticException with variable undeclared.

setDefinition(Instruction) - Method in class vote.Function

Set the definition of the function.

setTestSet(NodeList) - Method in class vote.Type

Sets the test set of the type to a specified list of term.

SortList - class vote.SortList.

This class represents a list of types of function parameters.

SortList() - Constructor for class vote.SortList

SubNode - class vote.SubNode.

This class provides a skeletal implementation of a term.

SubNode() - Constructor for class vote.SubNode

Substitution - class vote.Substitution.

This class represents a substitution map between nodes.

Substitution() - Constructor for class vote.Substitution

Constructs a new, empty substitution map.

Substitution(Node, Node) - Constructor for class vote.Substitution

Constructs a new substitution map with only one mapping and very little capacity.

SubstitutionStop - exception vote.SubstitutionStop.

Thrown when an substitution map is impossible to make.

SubstitutionStop() - Constructor for class vote.SubstitutionStop

T

testSet() - Method in class vote.Type

Returns test set of the type.

thenPart() - Method in class vote.IfInstruction

Returns the then part of instruction.

TList - class vote.TList.

This class represents a list of transforms of operations.

TList() - Constructor for class vote.TList

Tool - class vote.Tool.

This class implements the main method of the program.

Tool() - Constructor for class vote.Tool

toString() - Method in class vote.Function

Returns a string representation of this function.

toString() - Method in class vote.FunctionCallNode

Returns a string representation of this function call node.

toString() - Method in class vote.Ident

Returns a string representation of this identifier.

toString() - Method in class vote.IfInstruction

Returns a string representation of this instruction.

toString() - Method in class vote.Imply

Returns a string representation of this variable node.

toString() - Method in class vote.Infix

Returns a string representation of this function.

toString() - Method in class vote.LiteralNode

Returns a string representation of this variable node.

toString() - Method in class vote.Observator

Returns a string representation of this observator.

toString() - Method in class vote.Operation

Returns a string representation of this function.

toString() - Method in class vote.OperationBin

Returns a string representation of this operation call node.

toString() - Method in class vote.OperationCall

Returns a string representation of this operation call node.

toString() - Method in class vote.Path

Returns string representation of the path.

toString() - Method in class vote.ReturnInstr

Returns a string representation of this instruction.

toString() - Method in class vote.RewriteRule

Returns a string representation of this rule.

toString() - Method in class vote.Type

Returns a string representation of this identifier.

toString() - Method in class vote.Variable

Returns a string representation of this variable.

toString() - Method in class vote.VariableNode

Returns a string representation of this variable node.

toStringInfix() - Method in class vote.FunctionCallNode

Returns a string representation of this function call node when it is an argument of an infix call.

toStringInfix() - Method in class vote.Node

Returns a string representation of this term when it is an argument of an infix call.

Transform - class vote.Transform.

This class implements a definition between two expression.

Transform(SubNode, SubNode, Instruction) - Constructor for class vote.Transform

Constructor of the transform.

TrueNode - Static variable in class vote.LiteralNode

false Node.

TSystem - class vote.TSystem.

This class implements a transformation system.

TSystem(TList, TList, List, IdentTable) - Constructor for class vote.TSystem

Constructor of the transformation system.

Type - class vote.Type.

This class represents a type identifier

Type(String) - Constructor for class vote.Type

Constructor of the type.

typeParams - Variable in class vote.Function

List of types of parameters.

types() - Method in class vote.TList

Sets types in whole list.

types() - Method in class vote.TSystem

Types this rewrite system.

U

UnivType - Static variable in class vote.Type

Universal Type.

V

Variable - class vote.Variable.

Variable(String, Type) - Constructor for class vote.Variable

Constructor of the variable.

Variable(Type) - Constructor for class vote.Variable

Construct a new variable from a specified type.

VariableNode - class vote.VariableNode.

This class implements a variable node.

VariableNode(Variable) - Constructor for class vote.VariableNode

Constructor of the variable node.

vote - package vote

W

withNewVariables() - Method in class vote.Node

Remplaces varia1bles in term by new variables.

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