Package com.articulate.sigma

Class Derivation

java.lang.Object

com.articulate.sigma.Derivation

All Implemented Interfaces:

Serializable

public class Derivation
extends Object
implements Serializable

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
String	operator
List<Formula>	parents

Constructor Summary

Constructors

Constructor	Description
Derivation()
Derivation(String op, List<Formula> par)

Method Summary

Modifier and Type	Method	Description
Derivation	deepCopy()
List<Formula>	getParents()	Return a list of all derived objects that are used in this derivation.
String	toString()	Return a string for the derivation

Methods inherited from class java.lang.Object

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

Field Details

operator

public String operator

parents

public List<Formula> parents

Constructor Details

Derivation

public Derivation()

Derivation

public Derivation(String op,
 List<Formula> par)

Method Details

deepCopy

public Derivation deepCopy()

toString

public String toString()

Return a string for the derivation

Overrides:

toString in class Object

getParents

public List<Formula> getParents()

Return a list of all derived objects that are used in this derivation.