/**
* Returns a set of needed latex packages for this latex printable object.
*
* @return A set of needed latex packages for this latex printable object.
*/
public static LatexPackageList getLatexPackagesStatic() {
LatexPackageList packages = new LatexPackageList();
packages.add(LatexPackage.AMSMATH);
packages.add(LatexPackage.AMSTEXT);
packages.add(LatexPackage.COLOR);
packages.add(LatexPackage.PSTNODE);
packages.add(LatexPackage.PSTRICKS);
return packages;
}
/**
* Returns a set of needed latex packages for this latex printable object.
*
* @return A set of needed latex packages for this latex printable object.
*/
public LatexPackageList getLatexPackages() {
LatexPackageList packages = new LatexPackageList();
packages.add(getLatexPackagesStatic());
packages.add(this.getLeft());
packages.add(this.getRight());
packages.add(this.seenTypes.getLatexPackages());
packages.add(getRule());
return packages;
}