Package tools.refinery.logic.term.abstractdomain

package tools.refinery.logic.term.abstractdomain

Related Packages

Package	Description
tools.refinery.logic.term

Classes

Class	Description
AbstractDomainBinaryTerm<R,A extends AbstractValue<A,C>,C>
AbstractDomainEqTerm<A extends AbstractValue<A,C>,C>
AbstractDomainGreaterEqTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainGreaterTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainJoinTerm<A extends AbstractValue<A,C>,C>
AbstractDomainLessEqTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainLessTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainLowerBoundTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainMaxTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainMeetTerm<A extends AbstractValue<A,C>,C>
AbstractDomainMinTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainNotEqTerm<A extends AbstractValue<A,C>,C>
AbstractDomainRangeTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AbstractDomainSubsetTerm<A extends AbstractValue<A,C>,C>
AbstractDomainSupersetTerm<A extends AbstractValue<A,C>,C>
AbstractDomainTerms
AbstractDomainUnaryTerm<R,A extends AbstractValue<A,C>,C>
AbstractDomainUpperBoundTerm<A extends ComparableAbstractValue<A,C>,C extends Comparable<C>>
AsStringTerm<A extends AbstractValue<A,C>,C>
IsConcreteTerm<A extends AbstractValue<A,C>,C>
IsErrorTerm<A extends AbstractValue<A,C>,C>