Head (com.astralanguage:astra-interpreter 1.0.10 API)

java.lang.Object

astra.term.Head

All Implemented Interfaces:: Term, Serializable

public class Head
extends Object
implements Term

See Also:: Serialized Form

Field Summary

Fields inherited from interface astra.term.Term
EMPTY_ARRAY, NULL_TERM
Constructor Summary

Constructors

Constructor Description

Head(Term term, Type type)

Method Summary

Modifier and Type	Method	Description
`Object`	`accept(LogicVisitor visitor)`
`Head`	`clone()`
`boolean`	`equals(Object object)`
`boolean`	`matches(Term right)`
`String`	`signature()`
`Term`	`term()`
`String`	`toString()`
`Type`	`type()`

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- Head
  
  public Head(Term term, Type type)
Method Details
- type
  
  public Type type()
  
  Specified by:
  
  type in interface Term
- accept
  
  public Object accept(LogicVisitor visitor)
  
  Specified by:
  
  accept in interface Term
- matches
  
  public boolean matches(Term right)
  
  Specified by:
  
  matches in interface Term
- equals
  
  public boolean equals(Object object)
  
  Overrides:
  
  equals in class Object
- signature
  
  public String signature()
  
  Specified by:
  
  signature in interface Term
- clone
  
  public Head clone()
  
  Specified by:
  
  clone in interface Term
  
  Overrides:
  
  clone in class Object
- term
  
  public Term term()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object