jTrolog.terms

Interface Wrapper

All Known Implementing Classes:

WrapStruct, WrapVar

public interface Wrapper

Author:

ivar.orstavik@hist.no

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Wrapper.WrappedIterator

Method Summary

Modifier and Type	Method and Description
Term	getBasis()
int	getContext()

Method Detail

getContext

int getContext()

getBasis

Term getBasis()