astra.term.ListSplitter

public class ListSplitter
extends Object
implements Term

Field Summary

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

Constructors

Constructor Description

ListSplitter(Term head, Variable tail)

Method Summary

Modifier and Type	Method	Description
`Object`	`accept(LogicVisitor visitor)`
`ListSplitter`	`clone()`
`Term`	`head()`
`boolean`	`matches(Term term)`
`String`	`signature()`
`Variable`	`tail()`
`String`	`toString()`
`Type`	`type()`
`Boolean`	`value()`

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

Constructor Details
- ListSplitter
  
  public ListSplitter(Term head, Variable tail)
Method Details
- value
  
  public Boolean value()
- type
  
  public Type type()
  
  Specified by:
  
  type in interface Term
- head
  
  public Term head()
- tail
  
  public Variable tail()
- accept
  
  public Object accept(LogicVisitor visitor)
  
  Specified by:
  
  accept in interface Term
- matches
  
  public boolean matches(Term term)
  
  Specified by:
  
  matches in interface Term
- signature
  
  public String signature()
  
  Specified by:
  
  signature in interface Term
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- clone
  
  public ListSplitter clone()
  
  Specified by:
  
  clone in interface Term
  
  Overrides:
  
  clone in class Object

Class ListSplitter