WeightedLiteral

java.lang.Object

com.semedy.reasoner.rewriter.sips.WeightedLiteral

public class WeightedLiteral extends Object

A Literal with a weight.

Author:: Juergen Baier

Constructor Summary

Constructors

Constructor

Description

WeightedLiteral()

WeightedLiteral(Literal literal)
Method Summary

Modifier and Type

Method

Description

Literal

getLiteral()

double

getWeight()

void

setValues(Literal literal, double weight)

String

toString()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- WeightedLiteral
  
  public WeightedLiteral()
- WeightedLiteral
  
  public WeightedLiteral(Literal literal)
Method Details
- setValues
  
  public void setValues(Literal literal, double weight)
- getWeight
  
  public double getWeight()
- getLiteral
  
  public Literal getLiteral()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object