Package tools.refinery.logic.term
package tools.refinery.logic.term
-
ClassDescriptionAbstractTerm<T>AggregationTerm<R,
T> Aggregator<R,T> BinaryTerm<R,T1, T2> ConstantTerm<T>DataVariable<T>LeftJoinTerm<T>PartialAggregator.MultiplicityInsensitive<A extends AbstractValue<A,C>, C, A2 extends AbstractValue<A2, C2>, C2> PartialAggregator.MultiplicitySensitive<A extends AbstractValue<A,C>, C, A2 extends AbstractValue<A2, C2>, C2, T> StatefulAggregate<R,T> StatefulAggregator<R,T> StatelessAggregator<R,T> Term<T>ToMonoid<T,R> TreapAggregator<R,T extends Comparable<? super T>> UnaryTerm<R,T>