Serialized Form

Class vote.FunctionDefinition implements Serializable

Class vote.IdentTable implements Serializable

Serialized Fields

vars

ArrayList vars

List of variables in current parsed clause.

Class vote.NodeList implements Serializable

Class vote.RuleTable implements Serializable

Class vote.SemanticException implements Serializable

Class vote.SortList implements Serializable

Class vote.Substitution implements Serializable

Class vote.SubstitutionStop implements Serializable

Class vote.TList implements Serializable