ponderToolkit.analyzer.priorities.node
Class AAndConstraintFactor

java.lang.Object
  |
  +--ponderToolkit.analyzer.priorities.node.Node
        |
        +--ponderToolkit.analyzer.priorities.node.PConstraintFactor
              |
              +--ponderToolkit.analyzer.priorities.node.AAndConstraintFactor

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class AAndConstraintFactor

extends PConstraintFactor

Constructor Summary

AAndConstraintFactor()

AAndConstraintFactor(PConstraintFactor _constraintFactor_, TAnd _and_, PUnaryConstraint _unaryConstraint_)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
TAnd	getAnd()
PConstraintFactor	getConstraintFactor()
PUnaryConstraint	getUnaryConstraint()
void	setAnd(TAnd node)
void	setConstraintFactor(PConstraintFactor node)
void	setUnaryConstraint(PUnaryConstraint node)
java.lang.String	toString()

Methods inherited from class ponderToolkit.analyzer.priorities.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AAndConstraintFactor

public AAndConstraintFactor()

AAndConstraintFactor

public AAndConstraintFactor(PConstraintFactor _constraintFactor_,
                            TAnd _and_,
                            PUnaryConstraint _unaryConstraint_)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Node

apply

public void apply(Switch sw)

getConstraintFactor

public PConstraintFactor getConstraintFactor()

setConstraintFactor

public void setConstraintFactor(PConstraintFactor node)

getAnd

public TAnd getAnd()

setAnd

public void setAnd(TAnd node)

getUnaryConstraint

public PUnaryConstraint getUnaryConstraint()

setUnaryConstraint

public void setUnaryConstraint(PUnaryConstraint node)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object