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>