uk.ac.manchester.cs.jfact.split

Class TSplitVar.Entry

java.lang.Object

uk.ac.manchester.cs.jfact.split.TSplitVar.Entry

Enclosing class:

TSplitVar

public class TSplitVar.Entry
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Concept	concept
Set<Axiom>	Module
ConceptName	name
TSignature	sig

Constructor Summary

Constructors

Constructor and Description
TSplitVar.Entry()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public ConceptName name

concept

public Concept concept

sig

public TSignature sig

Module

public Set<Axiom> Module

Constructor Detail

TSplitVar.Entry

public TSplitVar.Entry()