uk.ac.manchester.cs.jfact.split

Class SplitVarEntry

java.lang.Object

uk.ac.manchester.cs.jfact.split.SplitVarEntry

All Implemented Interfaces:

Serializable

public class SplitVarEntry
extends Object
implements Serializable

split var entry

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
Concept	concept internal name
Set<AxiomInterface>	Module module
ConceptName	name entry name
TSignature	sig signature

Constructor Summary

Constructors

Constructor and Description
SplitVarEntry()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

name

public ConceptName name

entry name

concept

public Concept concept

internal name

sig

public TSignature sig

signature

Module

public Set<AxiomInterface> Module

module

Constructor Detail

SplitVarEntry

public SplitVarEntry()