info.sswap.api.input.io
Class SSWAPDeserializer.VisitedTerms

java.lang.Object
  info.sswap.api.input.io.SSWAPDeserializer.VisitedTerms

Enclosing class:

SSWAPDeserializer

private static class SSWAPDeserializer.VisitedTerms
extends java.lang.Object

Field Summary

private java.util.List<java.util.Set<aterm.ATermAppl>>

visitedByDepth

Constructor Summary

private

SSWAPDeserializer.VisitedTerms()

Method Summary

(package private) SSWAPDeserializer.VisitDepth	add(aterm.ATermAppl term)
(package private) void	decreaseDepth()
(package private) int	depth()
(package private) void	increaseDepth()

Methods inherited from class java.lang.Object

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

Field Detail

visitedByDepth

private java.util.List<java.util.Set<aterm.ATermAppl>> visitedByDepth

Constructor Detail

SSWAPDeserializer.VisitedTerms

private SSWAPDeserializer.VisitedTerms()

Method Detail

depth

int depth()

increaseDepth

void increaseDepth()

decreaseDepth

void decreaseDepth()

add

SSWAPDeserializer.VisitDepth add(aterm.ATermAppl term)