Package astra.term
Class Funct
java.lang.Object
astra.term.Funct
- All Implemented Interfaces:
Term,Serializable
public class Funct extends Object implements Term
- See Also:
- Serialized Form
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and Type Method Description Objectaccept(LogicVisitor visitor)Functclone()booleanequals(Object object)Stringfunctor()TermgetTerm(int i)intid()booleanmatches(Term term)voidset(int i, Term term)Stringsignature()intsize()TermtermAt(int i)Term[]terms()StringtoString()Typetype()