org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main

Class Tuple<S1,S2>

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.main.Tuple<S1,S2>

public class Tuple<S1,S2>
extends java.lang.Object

Einfach nur ein Tupel

Author:

Seitz

Constructor Summary

Constructors

Constructor and Description
Tuple(S1 s1, S2 s2)

Method Summary

Methods

Modifier and Type	Method and Description
S1	getS1()
S2	getS2()

Methods inherited from class java.lang.Object

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

Constructor Detail

Tuple

public Tuple(S1 s1,
     S2 s2)

Method Detail

getS1

public final S1 getS1()

getS2

public final S2 getS2()